Historie dolování uhlí ve Varnsdorfu do roku 1892 - Veselý, Miroslav