Import and export exposure notification data

Use case

I have used Google Play Services before.
Now I want to switch to microG.
Because of the Corona/COVID-19-situation I do not want to loose my data of encounters in the last 14 days.

How to

What I can currently do:
Go to the COVID screen:

Export the data:

Problem: After you press that menu entry, you get literally no feedback. I have no idea where that data is saved. (checking the usual internal storage I could not find anything.)

Intended solution

Anyway, what we need in microG's implementation is just an import feature for those.
For whatever reason, Google Play Services do not offer any import feature though – maybe so one cannot abuse it and generate fake results. (though AFAIK this is already cryptographically assured, as you cannot easily generate those hashes or respectively only random ones hmm)
Anyway, would be great if we could switch to microG but keeping the 14days history, so one does not loose data that could result in a missed COVID notification.

For completeness you may of course also implement an export feature – I guess if you have an import feature that will be easy. So you'd have feature parity with Google's implementation in this regard then.

Start at the COVID screen and its export menu entry to determine how exposure notification data is currently handled in microG. Define the import and export behavior for preserving the last 14 days of encounter history, then verify that switching from Google Play Services does not lose usable notification data.