[1796] Der Zwölfstündner, des -s, plur. ut nom. sing. im Bergbaue, welcher von 24 Stunden deren zwölf arbeitet.
Pierer-1857: Zwölfstündner