Reicht es, das Dokument hier https://www.who.int/csr/ihr/Annex9_en.pdf auszufüllen?

Vermutlich. Das offizielle Formular der GenDec findetst Du im ICAO Annex 9, Appendix 1:

https://www.icao.int/WACAF/Documents/Meetings/2018/FAL-IMPLEMENTATION/an09_cons.pdf (Seite 71)

Aber in welches dieser Länder kann man denn derzeit sinnvoll mit der GA fliegen? Eher ein theoretisches Szenario, oder?

Ich bin gerne in Texel.

EDLN (Homebase) und EHTX sind offen, ebenso die Hotels; die Gaststätten und Bars allerdings zu - also allenfalls Strandspaziergänge.

Von NL-Seite gilt für die GA vor allem:

Also: Nur mit Familie etc. Wieder mit viel Augenmaß.

Ihr Glücklichen - der Süden und seine Nachbarn sind ziemlich flächig im quasi-lockdown...

Wobei "offizielles Formular" eher theoretisch sein dürfte, sehe dieses Formular zum ersten Mal.

Solange alle erforderlichen Informationen enthalten sind gibt es keine Formvorschrift, für Israel (sonst sehr pingelig bei der Einreise) gab es sogar ein Notam, dass auch handschriftliche Änderungen durch den PiC ausreichen. War dann eine lustige Diskussion .