b) Laut konstanter Praxis kann ein Benützungsverbot dann erlassen werden, wenn ein formell rechtswidriger Zustand vorliegt.10 Dies setzt voraus, dass ein baubewilligungspflichtiger Tatbestand erfüllt ist und die Bewilligung fehlt, oder dass von einer Bewilligung oder von Nebenbestimmungen dazu abgewichen worden ist. Es greift Platz, wenn eine Baueinstellungsverfügung nutzlos wäre, weil die Bauarbeiten bereits abgeschlossen sind, und es wirkt solange, bis feststeht, ob eine nachträgliche Baubewilligung erteilt werden kann oder zur Wiederherstellung geschritten werden muss.