bergmeisterampt,