Precious stones and ‘wondrous’ minerals in Old High German glosses