An Etymological Dictionary of the German Language/Annotated/Grotte

Grotte, see Gruft.