How can I export contact groups?

When I export my Android phone's contacts via a VCF file, it seems the contact groups are not indicated in the VCF (and are thus lost if I only import that file). I see a lot of apps for exporting and importing contacts, but none whose name suggests it will export my contact groups as well. My questions: * Is there a way for me to export my contacts together with the contact groups? * Is there a way for me to export _just_ my contact groups (i.e. which contact belongs to which group)? * Can I import just-contact-groups "onto" a set of contacts without contact groups (the result of a previous import-export without contact groups)? Notes: * I don't have a Google account (and won't get one). * In case it matters - the phone from which I'm exporting is a Xiaomi RedMi 3S (Android 6.0.1, MIUI 10). * This question is related, but I don't care about exporting to a VCF specifically; and Android has changed over the years; and the answer there regards a Google account.