Han var son till bergmästaren Erland vonHofsten