Nutzung des Gulfhauses - hier: Änderung der Benutzungsordnung für die öffentlichen Gebäude und öffentlichen Plätze