( på tyska Gravenstein ) , som förut tillhörtden