Wie breit ist ein Doppelhaus?