Hallenbad Seon, Restaurant in Hallenbad- und Saunabetrieb zu verpachten