[612] Tonstein, dichter, gleichmäßig feinkörniger Porphyr- und Felsittuff (s. Porphyrtuff).
Lueger-1904: Tonstein