Tragluftüberdachung für Baugruben