Was kommt nach einem Doppelpunkt?