Die Badesaison am Thumsee ist eröffnet.