Germany: Thermal spa in area with large Muslim population bans bikinis that are too tight