Doppelpunkt und großes D