Custom_properties zu gitignore hinzugefügt, damit jeder seine eigenen
Einstellungen pflegen kann.