Doppelte Doppelpunkte korrigiert