Grijze Tomme bergkaas, gerijpt