ammtliches Zueignen einer Grube oder eines Grubenfeldes