Urkundliche Nachrichten zur älteren Geschichte des Ilmenauer Bergbaus / von Ernst Koch - Koch, Ernst