Gravensteiner å 10 kr.