"Die Oberpostdirektion Dresden war die Oberpostdirektion in Dresden." - (de.wikipedia.org 04.04.2022)