"badetun" er et 7-bokstavers substantiv som brukes som synonym for "badeanlegg". badeanlegg betyr: Uteområde for bading og soling