buffetasdelning samt alla arbetarne i werkstadswagnen dödades.