Don't report it, that's way OTT. That said, I totally freaking agree. I mean toddlers is fine, but 9 is a bit freaking ridiculous.
I'm now going to take this opportunity to have a racist rant. Apologies.
I can no longer stand summer holidays in europe due to nudists, the vast majority of which, in my experience, are German. I'll take all the obnoxious American tourist stereotypes ahead of them. In particular I went on holiday to Gran Canaria with my family and suffered the annoying, and incredibly clichéd, fate of never being able to sit by the pool because some fuckwad put their towel down at like 5am and will defend it til the last.
So we decided to take a day out hiking inland with a pretty cool German tour guide (Gran Canaria is a big spot for German tourists) who took us up by all the man made lakes of the island, surrounded by astonishing sandstone cliffs, like a lush version of death valley. We finally ended the walk at a beautiful lake. I stood there, admiring the view and casually skimming stones across the surface of the lake. This was the first nice day of the holiday I'd had so far.
Next thing I know, two of the 80 year old German tourists are next to me, getting into the lake COMPLETELY naked, jiggling wildly as they make their way across the rocks at the waters edge. I'm not saying everyone needs to be ashamed of their bodies, but those two should've been at least slightly shameful of their repugnant leathery hides!
... I just ran.