(teufe des hochofens)