Weimar. Deswegen musste der große Baum am Dienstag in Weimar gefällt werden.