Geschichte der Saarbrücker Bergschule : 1816-1906 (Saardr., 1907)