Moment mal — da ist wohl was durcheinandergeraten. Laut deinen Infos soll der Haarsee in Tirol liegen, Wikipedia verortet ihn aber in Oberbayern. Das ist schon ein ziemlicher Unterschied.

Falls es wirklich der bayerische Haarsee ist: 6,47 Hektar Wasserfläche — das ist überschaubar, aber völlig ausreichend für eine Runde Schwimmen. Die Einheimischen aus Weilheim wissen schon, warum sie hierher kommen.

Ein See, der zur Stadt gehört und trotzdem natürlich geblieben ist. Manchmal sind es ja gerade die unspektakulären Gewässer, die am entspanntesten sind.