[541] Zechstein, 1) der Kalkstein des Zechsteingebirges (s.d.); 2) die Steinart, welche auf einer Zeche gewöhnlich gebrochen wird.
Adelung-1793: Zechstein, der
Lueger-1904: Zechstein
Meyers-1905: Zechstein