I now tried it on a system with PHP 5.5.9 and I'm still not seeing any plugin under "Administration -> Plugins". I just unzipped the Example plugin into myPathToIlias/Customizing/global/plugins/Services/Repository/RepositoryObject.
Tried it on a Unix and a Windows system. What else could I try?