Xiaomi How to Export contacts

The functions of the Contacts app on the Xiaomi device are simplified and adequately described.
Contacts can be exported as a VCF file to the SIM card or phone memory / internal storage.
From there, the exported contacts can be sent to other devices.
Also, the function only allows exporting all contacts. To export selected contacts, the Xiaomi smartphone's Share function must be used.