Wann schreibt man nach Doppelpunkt klein weiter?