Michel-Buck-Gemeinschaftsschule, Dürmentinger Str. 61, 88521 Ertingen, Lehrschwimmhalle