Rippentorstahl

Veraltete Bezeichnung für Rippenstahl (tordiert).