Zwembad Ostende, piscine : horaires, téléphone