Mauser hsc pistol mags

I bought this little plastic gas pistol at least two decades ago, non worker, used as holster filler for years on a static display. I then fixed the firing problem maybe two years ago, but never used it as I only had one mag for it.
Taiwan gun stock the mags! Wasn’t sure if they were the right ones, but they looked like they were so I bought a couple.......then couldn’t find the pistol! Now found, and they fit and work.
Who would have thought that you can still buy mags for an unpopular pop gun about twenty years old!-- attachment is not available --