Swimming pools and paddling pools