Braucht Erfurt einen Weihnachtsbaum?