grufbyggmästare och inlade stora förtjenster i bergsmekaniken.