Erfurt. Die Bäume sollen möglichst schon am 3. Oktober gepflanzt werden. Aber zuerst muss der Stadtrat abstimmen.