Hat sich erledigt.
Für diejenigen, die später mal vor derselben Frage stehen: die weissen Papiere wurden ab Mitte der 80er ausgegeben, alles gut also bei mir 👍