That’s exactly what I meant! We (my family being German) found it on one of our shopping trips at Bilka Kolding (we sometimes drive up there), and just bought one.
In Switzerland we do cheese shavings like described in the following article (although only for a specific type of cheese, the 'tete de moine' (monk's head). http://itotd.com/articles/217/the-girolle/
