Sorry,

there IS a negative side effect: stars are missing at a zoom level of around 20° !!!
So I put the two files back.

So forget it, ... and my appologies for the confusion caused !

Rudi