Gera. Während sich die Betreiberfamilie offenbar schon entschieden hat, gibt es laut Stadt noch Beratungen zu der Frage