1. In den Spitzenzeiten, also an Wochenenden, an den Donnerstagsabenden zwischen 17 und 22 Uhr und bei offiziellen Führungen stehe regelmäßig Personal zur Verfügung. ( Quelle: Frankfurter Rundschau 1993）