Gestern kam das Schreiben der Stadt - wir haben jetzt eine offizielle Hausnummer!
Die Hausnummern werden in Dresden vom Städtischen Vermessungsamt auf Antrag vergeben. Dazu kann man sich das entsprechende Formular unter http://www.dresden.de/de/02/or/anliegen/c_228.php herunterladen.
die Bearbeitung hat nicht sehr lange gedauert - ich weiß nicht mehr genau, wann ich den Antrag abgeschickt habe. Aber ich denke es waren so 2-3 Wochen. Die Kosten belaufen sich auf 35 EUR.