That's good to hear!
That's one thing I do miss a little bit about Denmark and Europe; the coastal waters do get a little warmer than the perpetual 55 degrees here in the Northwest. And with the hot summer Europe is having, I bet there are some relatively pleasant swimming spots!
The beach at the end of my road is one of them so I'll be there for a couple of hours again today @denmarkguy. 😊