They were not sold here to the general public after a while, but a peace or police officer could have bought them through Walther.
I declined, I thought they were overpriced and didn't necessarily want a .22 as a defensive weapon. My agency also restricted us, at that time, to the same diameter bullet as what we were carrying. It was .38Spl., so we could carry .380 or 9mm off duty, provided we qualified with our own guns and ammo.
But no .22's could be carried. When I retired it was 9mm Glocks period, on or off duty.