Telling time in German: the quarters of an hour