Rudolstadt. Wann es los geht und was der Betreiber sagt