Tilas , Polhem , Svedenborg , Sven Rinman , Anders och Anton Swab m . fl äro vi honom tack skyldiga för den höjd , bergsvetenskapen tidigtnådde