So these are (soon were) government owned thingies. I see.

Still, the lenses themselves are not uncomon.