Gravenstein er det tyske navn på Gråsten.
Se Enklaver, De kongeriske.
*Jeg giver hermed tilladelse til at få tilsendt Grænseforeningens nyhedsbrev