"jacketed girder" Deutsche bedeutung