Was heißt grava? Was heißt grava? Roca triturada en petits trossos que s'usa per construir camins i carreteres, per fer formigó, etc.