Wie hoch muss die Garage sein für eine Hebebühne?