Rudolstadt. Endspurt für die Proben zum diesjährigen Sommertheater auf der Heidecksburg: Gaudi mit der Olsenbande