bergmästaren C . O. Troilius;