Hallo Manfred, bin zwar Redakteur, aber ich habe auch Admin-Rechte, das habe ich schon mit meiner Agentur besprochen. Ich will Erweiterungen weder deinstallieren, noch installieren. Nur den Doppelpunkt entfernen. Aber danke für deine Mühe. Giovanni