Ersetzung der Linden am Domplatz durch kleinere „barocke“ Bäume