[1475] Die Diamantgrube, oder Demantgrube, plur. die -n, ein Flötz, in welchem echte Diamanten gebrochen werden.