Das marode Hallenbad in Münster wird abgerissen.