Yes I think so, but no one knows how many were made. I heard those
lenses were extremely expensive, at the end of 1980's the price for each
was 260,000 Yen (most likely around US2,000 at 80s!!) so no east german
people could afford it.

The story behind this high price was this; East germany had to pay off
war time debt to eastern block of countries, so all the production ones were
sent to re-pay the debt. Some communist very high ranking officers got
those lenses as a part of their parks, which I do not exactly know about.

Interesting story, quiet unbelievable. I rather believe their make it as presentation gift what Mr. Honecker brought to similar guys when they did kiss each other

But there was none of this lens in East Germany when the wall was down.

Perhaps same sad story what Exaklaus did report it, 'nice' Carl Zeiss Oberkochen management did destroy everything in Jena factory as first step when they did take over Jena factory. All prototype, rare lenses etc were brake by hammers...