[521] Graben, 1) die Erde mit Spaten umwerfen, um sie locker zu machen, den Dünger unter dieselbe u. die untere Erdschicht an die Luft zu bringen; 2) (Bergw.), Gruben (Schachte u. Stollen) in die Erde machen, um die darin befindlichen Mineralien herauszubringen; 3) (Hüttenw.), von strengflüssigen Erzen Löcher in das Gestübe fressen, daher Grabende Erze; 4) so v.w. Graviren.