Bäume am Gmünder Marktplatz – ja oder nein?