Rauchen ist verboten. Partys sind nicht erlaubt. Zwischen 22:00 und 08:00 Uhr ist es Gästen nicht gestattet, Lärm zu machen.