\Gra"ven*stein"\, n. [So called because it came from
Gravenstein, a place in Schleswig. Downing.]
A kind of fall apple, marked with streaks of deep red and
orange, and of excellent flavor and quality.