Weimar. Bevor im Sommer die Musik auf der Seebühne im Weimarhallenpark spielen kann, sind dort einige Pflegemaßnahmen an Bäumen erforderlich.