Leipheimer Gartenhallenbad soll generalsaniert werden