Domi probably means de-activated, meaning they will never fire again.
Unfortunately for him I had a Gewehr98 and 88, which were de-activated, but exchanged them for 2 haubes last sunday...
But they can be found, there are 2 for sale here in the Dutch site Marktplaats.nl .