Beide Gebäude müssen saniert werden. Das könnte, nach ersten Schätzungen, mehr als 80 Millionen Euro kosten.