Um die an dieser Stelle erfolgten Diskussionen über die Temperatur des Badewassers ein für alle Mal zu beenden, habe ich kurzerhand nachgemessen: Im Außenpool sind es 27 °C (das dürfte weitaus wärmer sein als in den meisten heimischen Hallenbädern, aber natürlich nicht so heiß wie in einem Thermalbad), in den beiden Whirlpools sogar jeweils 30 °C.