Wie breit muss ein Doppelgaragentor sein?