Gravensten, gravenstener, ældre navn på æblesorten gråsten.