I once (=25 years ago) bought a few here in Munich in a special shop for screws and nuts (Schraubenzentrale). The german naming is "Einschlagmutter, zöllig". I think I still should have some of them. I will have a look the next days. Florian