Turnhalle an der Josephinenschule wird saniert