Thumsee Seewirt, Bad Reichenhall