Ein Hausdach ist 12,6 m breit und 7,875 m hoch. 4,375 m über der Grundfläche des Hausdachs soll ein Zwischenboden eingezogen werden. Wie breit ist dieser Zwischenboden dann?