Rudolstadt. Für die Wartenden gibt es am Morgen heißen Tee.