[496] Thomassteine, aus Dolomitmehl mit Teer hergestellte Ziegel zur Auskleidung der Konverter bei Herstellung des Thomaseisens (s. d.).