Punkt, Doppelpunkt …