Wenzel Gusztáv jegyzetei és másolatai a magyar bányavárosok történetéhez. - Wenzel Gusztáv