Thank you Keith, for following up on this. It’s not even easy to even get to a UK post office right now (and get back to Austria without problems!) even if we need an IDP! I still haven’t got my Anmeldebescheinigung so this, the Artikel 50 card and the driving licence I will just have to tackle as they come up, whether this side of the New Year or after. At this point there seems to be no point in speculating, as there are so many grey areas.