dito ; bergmästaren Troilius,