bergstingen , der bergmästaren var domare.