The Anina (Steierdorf) coal mining district in Banat (Romania) on some old geological maps (1850–1884) · Study