Was kostet eine Tonne Edelstahl?