Chybová/nepřesná zpráva отностно Shell Krefeld, Diessemer Bruch