That's the way it looks. I think most Mauser bayonets would fit and really, it might not be a big difference which one you used. That one seems to be the right designation though.
Printable View
Cool. Those seem to be much more available than the FN ones.