In 2024, How to Transfer Data from Xiaomi Redmi K70 to Any iOS Devices | Dr.fone

In 2024, How to Transfer Data from Xiaomi Redmi K70 to Any iOS Devices | Dr.fone

Emma Lv13

How to Transfer Data from Xiaomi Redmi K70 to Any iOS Devices

Alice MJ

If you are a proud owner of smartphones running on two different operating systems such as Windows and iOS, you might face the challenging task of transferring the data from your Windows phone to iPhone. Transferring the data between the two devices running the OS of the different platforms is not as easy as it is when you have devices with a common platform. This article aims to guide you through two simple routes that you can follow to transfer the data stored in your Windows phone such as Xiaomi Redmi K70 to iPhone or other iOS devices. You don’t need to worry about how to transfer from Xiaomi Redmi K70 to iPhone or How to transfer contacts from Xiaomi Redmi K70 to iPhone anymore after reading this article. Read them on.

  • 1. You can rely on some program/online service/website such as Outlook, CSV file format, Google Contacts, etc.
  • 2. You may experience issues while transferring data from your Xiaomi Redmi K70 phone to iPhone.

Part 1: Transfer Data Wirelessly via Microsoft ID

Windows phones such as Xiaomi Redmi K70 depend on a Microsoft ID to back up your important data such as contacts, text messages, calendar, and device preferences. Once you have configured the data on your Xiaomi Redmi K70 smartphone, you can add the same Microsoft email address to your iPhone and then sync the data to it. Given below are the step-by-step instructions on how to transfer from Xiaomi Redmi K70 to iPhone via Microsoft ID:

Step 1: Make an account on Outlook.com.

1. Open www.outlook.com on the web browser on your smartphone or PC.

2. Once you are redirected to the website, tap the “Sign up” option from the top-right corner.

3. Enter the required information in the available fields to create an account.

Step 2: Sync the data on your Xiaomi Redmi K70 to Microsoft’s Outlook.com account.

1. Switch on your Xiaomi Redmi K70 smartphone.

2. Scroll through the Home screen to find the “Settings” option.

3. Once located, tap the “Settings” option to open it.

4. On the “Settings” window, locate and tap the “email+accounts” option to open it.

5. From the opened window, tap the “add an account” option.

6. After the “ADD AN ACCOUNT” window opens, tap “Outlook.com” from the available options.

7. Tap the connect button from the bottom-left corner of the OUTLOOK.COM window.

8. Once you are redirected to the outlook.com website, in the available fields, enter the credentials of your Microsoft account that you created earlier.

9. Tap the “Log in” button when done.

10. Wait till the data on your Xiaomi Redmi K70 automatically gets synchronized with your Outlook account.

Step 3: Import the data from your Outlook account to the iPhone.

1. Switch on your iPhone and scroll through the Home screen to locate the “Settings” option.

Note: Make sure your device is connected to the Internet.

2. Once located, tap to launch the “Settings” app.

3. On the opened “Settings” window, tap the “Mail, Contacts, Calendars” option.

4. After the “Mail, Contacts, Calendars” window opens, tap the “Add Account” Add Account option under the “ACCOUNTS” section.

5. From the available options, tap “Step two”Outlook.com.

6. Once the “Outlook” window opens, enter your Outlook account credentials, and tap “Next” from the top-right corner.

7. Wait till your device verifies your account.

8. Once your account details are verified and a list of transferrable data types is displayed on the screen, tap to slide the switch to the right for the data that you want to import.

Note: After you slide the switch to transfer the Contacts, iPhone provides you with an option to keep the contacts that are already stored in your device or delete them altogether before importing the new ones from your Outlook account. You can choose any option as per your requirement.

9. Once you have selected the data that you want to import, tap the “Save” button from the top-right corner.

10. Wait till the data gets imported to your iPhone.

Pros:

  1. You can transfer your data for free using this method and the only requirement is Internet connectivity.
  2. You are saved from downloading a third-party application to transfer your data.
  3. You can easily transfer the data wirelessly without the need to make your PC as a go-between

Cons:

  1. It is a time-consuming process.
  2. You cannot transfer photos and media files by following this method.

Part 2: Transfer Data Using PhoneCopy

With PhoneCopy you can easily export data from your Xiaomi Redmi K70 to the PhoneCopy server, and then import the data from the PhoneCopy server to your new iOS device. It is easy to transfer contacts from Xiaomi Redmi K70 to iPhone with PhoneCopy. What you need is PhoneCopy iPhone Xiaomi Redmi K70.

In order to do so, you need:

A registered PhoneCopy account.

1. On your computer, open any web browser of your choice and go to https://www.phonecopy.com/en/ .

Note: Make sure your device is connected to the Internet.

2. From the right section of the opened web page, click “REGISTER NOW.”

3. On the “REGISTRATION” page, populate the available fields with the correct values and click “CONTINUE” from the bottom.

4. Follow the on-screen instructions thereafter to complete the account creation process.

Note: You may need to activate your account using the confirmation mail that you would receive while completing the account creation process.

The PhoneCopy app on your Windows phone.

1. Power on your Xiaomi Redmi K70 smartphone.

Note: Make sure that the phone is connected to the Internet.

2. From the Home screen, locate and tap the Store icon to open the Windows App Store.

Note: You must use your Microsoft account to sign in to Windows Store before the phone allows you to download the apps.

3. Once you are on the “store” interface, search for and tap the “PhoneCopy” app

4. On the next window that appears, tap “Install” pato install PhoneCopy on your Windows phone.

After you have successfully installed PhoneCopy on your Xiaomi Redmi K70, it is now time to export all your contacts to the PhoneCopy server. You can do so by following the steps given below:

Step 1: Export data to the PhoneCopy server.

1. On your Windows phone, locate and tap to launch the “PhoneCopy” app.

2. On the displayed interface, in the available fields provide your PhoneCopy account credentials (username and password) that you used to create your PhoneCopy account earlier.

3. Once done, tap the”Export to phonecopy.com” button and wait till all your contacts are exported to the PhoneCopy server.

Step 2: Import data to the iPhone from the PhoneCopy server.

1. Power on your iPhone.

Note: Make sure that your phone is connected to the Internet.

2. From the Home screen, locate and tap the Apple App Store icon.

Note: Ensure that you are signed in to the App Store using your Apple ID.

3. Search for, locate, download, and install the “PhoneCopy” app on your iPhone

4. Once installed, tap the “PhoneCopy” icon on your iOS device to launch the program.

5. When asked for, provide the same PhoneCopy credentials that you used to export the data from your Xiaomi Redmi K70 phone in the previous step.

6. After you are signed in to your PhoneCopy account on your iPhone, click the “Synchronize” button to import all the data from the PhoneCopy server to your new iPhone.

Although PhoneCopy does a great job when it comes to transferring data between the phones from different platforms, the app comes with a few pros and cons which include:

Pros:

Registering and using PhoneCopy is free.

PhoneCopy can back up your calendar events, SMS, tasks, and notes and can help you import them on a different phone (typically on iPhone).

Cons:

Only up to 500 contacts, SMS, tasks, and notes can be synched while using the Basic version (free account) of PhoneCopy. To remove this restriction, you must buy the Premium version for which PhoneCopy charges $25 annually.

The archived data is auto-deleted from the PhoneCopy server after one month when using the Basic version, and after 1 year when using the Premium version.

Bonus Tip: Best Way to Transfer data between Android and iPhone

Dr.Fone - Phone Transfer lets you transfer data from Xiaomi Redmi K70 to iPhone or iPhone to Android in 1 Click. It supports almost all mobiles, including iPhone, Android Samsung, LG, Sony, HTC, etc. Dr.Fone - Phone Transfer can transfer music, videos, contacts, messages, call logs, and apps between mobiles. If you want to transfer data between Android and iPhone, it must be the best solution for you. Try it free. Follow the steps below to know how to transfer data between Android and iPhone.

Dr.Fone - Phone Transfer

Transfer Data between Android and iPhone in One Click.

  • 1 CLick to transfer contacts from Xiaomi Redmi K70 to iPhone.
  • Easily transfer photos, videos, calendar, contacts, messages, and music from Xiaomi Redmi K70 to iPhone/iPad.
  • Works perfectly with Apple, Samsung, HTC, LG, Sony, Google, HUAWEI, Motorola, ZTE, Nokia, and more smartphones and tablets.
  • Fully compatible with major providers like AT&T, Verizon, Sprint, and T-Mobile.
  • Supports iPhone, iPad, iPod touch and the latest iOS version.
  • Fully compatible with the latest Windows or Mac version.

3981454 people have downloaded it

Note: If you have no computer at hand, you can also get the Dr.Fone - Phone Transfer (mobile version) from Google Play, with which you could log into your iCloud account to download the data, or transfer from iPhone to Xiaomi Redmi K70 using an iPhone-to-Android adapter.

Step 1. Download Dr.Fone - Phone Transfer to transfer from Xiaomi Redmi K70 to iPhone

Launch Dr.Fone. You will see “Phone Transfer”. Click it.

transfer from lumia to iPHone- download mobiletrans

Step 2. Connect Phones and select files

Connect your Android and iPhone. Dr.Fone will detect it soon. Then select the files and click Start Transfer. It can transfer almost all files, contacts, apps, messages, photos, music, videos, etc. If you just want to transfer contacts from Xiaomi Redmi K70 to iPhone, then it is also ok. Just check the Contacts option to transfer contacts from Xiaomi Redmi K70 to iPhone easily.

transfer from lumia to iPHone- start transfer

Conclusion

Regardless of the fact that many free solutions are there that can help you transfer data from your Xiaomi Redmi K70 to iPhone. If you also have an Android device, the Dr.Fone - Phone Transfer always has an upper hand when it comes to providing hassle-free migration between iPhone and Android devices.

How to Transfer Data from Xiaomi Redmi K70 to Other Android Devices?

Hi, I have recently bought a new Android phone. Is there any way to transfer my data (Contacts, Messages, Photos, Videos, Music, Apps, etc.) from my old Android phone to the new Android phone? I have used the Samsung Kies program to transfer my Contacts, Music, and Pictures, but there is no option within the program to transfer text messages. I would really appreciate any suggestions? How to transfer data to a new phone? Thanks.

Have you had your old Android device for years, and it’s time for an upgrade? Here top 4 solutions to transfer data from Xiaomi Redmi K70 to Other Android Devices . Getting a shiny Android device, like Samsung Galaxy Note 8, S7, S8, is an exciting thing, but also frustrates you. Although Android offers easy access to the SD card, you still find it difficult to transfer data, like apps and SMS from Xiaomi Redmi K70 to Other Android Devices in batch. Are you scratching your head about it? Don’t worry. Here is a chance for you. All you need is to give a professional transfer tool, Dr.Fone - Phone Transfer to transfer everything from one phone to another. Read this article, and you will know how to transfer data from Xiaomi Redmi K70 to Other Android Devices easily and quickly.

Part 1. How to transfer data from Xiaomi Redmi K70 to Other Android Devices in One Click

When you log into the accounts, like Google, Facebook, Twitter, contacts in them will also be transferred. Thus, make sure whether you want to transfer them or not. If not, do not sign in the accounts before the Android to Android transfer. Dr.Fone can transfer everything from Xiaomi Redmi K70 to Other Android Devices, including apps, contacts, messages, videos, music, photos, calendar, even WhatsApp chats, etc. Follow the steps below to know clearly how to send data from Xiaomi Redmi K70 to Other Android Devices.

Step 1. Run the Android to Android transfer Tool

The first thing is to install and run Dr.Fone on your computer. When its primary window appears, click Phone Transfer to start transfer data.

How to Transfer data from Xiaomi Redmi K70 to Other Android Devices-select solution

Step 2. Get Both Android Devices Connected

Connect your two Android devices to the computer via USB cables. After recognized, your Xiaomi Redmi K70s will be listed res on both sides of the window.

How to Transfer data from Xiaomi Redmi K70 to Other Android Devices-start to transfer contacts from Xiaomi Redmi K70 to Other Android Devices

Step 3. Transfer Contacts, Photos, Videos, Music, SMS, Call Logs, Calendar and Apps from Xiaomi Redmi K70 to Other Android Devices

Between the two Android phones, display all the contents you can transfer. You can uncheck any content you dislike to transfer. Then, click Start Transfer to transfer files from Xiaomi Redmi K70 to another Android Phone quickly.

How to Transfer data from Xiaomi Redmi K70 to Other Android Devices-Android to Android transfer completed

That’s all. It isn’t easy to transfer all your data from Xiaomi Redmi K70 to Other Android Devices. Try Dr.Fone - Phone Transfer free to transfer Android files to your new Android phone. It is the best Android to Android data transfer tool. With it, you can transfer everything from Xiaomi Redmi K70 to Other Android Devices.

Part 2. How to Transfer Everything from Xiaomi Redmi K70 to Other Android Devices with Google Backup

No one likes to spend a lot of time on the stuff, such as transfer data from Xiaomi Redmi K70 to Other Android Devices every time you change the phone. If you want to transfer quickly and painlessly, then here is the best which explains how to transfer data from Xiaomi Redmi K70 to Other Android Devices using the Google Backup method. Google still has many ways to get all your stuff off your old device and add to your new device using Google Backup.

how to transfer from Xiaomi Redmi K70 to Other Android Devices -Google Backup

Before taking up backup the first thing you need to do is to sign-in the Android phone using your Google account. In the setting menu, you need to search for Backup and reset mode. Make sure you have backup data and automatic restore as both are flipped on your google account. Your Google server will remember your password, so you do not need to re-enter the password every time you sign in. Google sync really very well with Android devices.

Part 3. How to Transfer Data from Xiaomi Redmi K70 to Other Android Devices with Bluetooth

Users feel good while setting up a new Android device. But we also know that your data is sensitive, so there would be one thing that would bother you is how to transfer data from Xiaomi Redmi K70 to Other Android Devices using Bluetooth . Don’t worry. Here’s an easy way that would help you out to transfer all the data safely by simply using Bluetooth. You have to connect both the Xiaomi Redmi K70 devices and enable the Bluetooth.

how to transfer from Xiaomi Redmi K70 to Other Android Devices -Bluetooth

This one is the best to transfer the data such as photos, videos, songs, and other files. You have to discover the Xiaomi Redmi K70 device and connect them through the wireless Bluetooth exchange data method. Allow your destination device to detect its presence and attempt to establish the connection between them. Once both devices are paired with Bluetooth, exchange the data, which include files, songs, ringtones, photos and videos. Note that Bluetooth can’t transfer text messages, contacts, call history or Apps.

Part 4. Tips about how to transfer from Xiaomi Redmi K70 to Other Android Devices

When you have bought a new device, then certainly there is a need to transfer your data such as Contacts, SMS, Photos, Music, Apps, and more other documents using different methods. Your device data can also be transferred from Android smartphones to iPhone and vice versa. If you need to have a fast and easy way to transfer the data, you can try with Dr.Fone - Phone Transfer. Here we also have a list of a few different ways which can be used easily without any restrictions.

Transfer Contacts from Xiaomi Redmi K70 to Other Android Devices

Transferring the contacts is the most important thing, the time has come when you do not need to face the painstaking process of copying each contact with the hand. Now you can transfer the contacts easier along with cloud synchronization. It’s one of the easiest ways to keep your contacts up-to-date and sync it with your Google account. Transfer the contacts and sync it on that registered account. Similarly, when you buy a new device, open your Google account on your new device and copy all the saved contacts from that account onto your new device.

how to transfer from Xiaomi Redmi K70 to Other Android Devices - Transfer Contacts

Transfer SMS from Xiaomi Redmi K70 to Other Android Devices

You can now transfer your old SMS to the Android device easily by using this free SMS backup app, which can restore and transfer all SMS stored in XML file format, and then you can send directly to your new Android devices. Here we have used a backup app that can explain how to transfer from Xiaomi Redmi K70 to Other Android Devices easily when connected with each other and help you out to restore the SMS messages. Note that this app won’t pay attention to which SMS already exists and which one is imported twice. Instead, you can use MobileTrans one-click app, which helps you out in resolving this problem.

how to transfer from Xiaomi Redmi K70 to Other Android Devices - Transfer SMS

Transfer Photos from Xiaomi Redmi K70 to Other Android Devices

You can use Dr.Fone - Phone Transfer, which can help you in how to transfer from Xiaomi Redmi K70 to Other Android Devices easily. You simply have to install the tool, connect your Xiaomi Redmi K70, and share your data such as photos, movies, and other files directly from Xiaomi Redmi K70 to the other Android devices. Try it free.

how to transfer from Xiaomi Redmi K70 to Other Android Devices - Transfer Photos

Transfer Music from Xiaomi Redmi K70 to Other Android Devices

We all love music and have collected the music according to our choice. Mostly we store the MP3 files that appear on your computer after you connect your smartphone. Firstly you need to download the Android File Transfer app if you’re a mac user or else use Bluetooth File Transfer that saves these files on your computer, and then you can transfer to another device. Instead, you can use MobileTrans tool, which can easily resolve your problem of how to transfer everything from Xiaomi Redmi K70 to Other Android Devices with few clicks only.

how to transfer from Xiaomi Redmi K70 to Other Android Devices -Transfer Music

Transfer Apps from Xiaomi Redmi K70 to Other Android Devices

There are many apps that you require to transfer from your old phone to a new device, but here we have a Helium backup tool that can explain how to transfer from Xiaomi Redmi K70 to Other Android Devices apps easily and do not require to be rooted. It can transfer the tool which can come in a free trial version and also support SD card and PC. You can automatically schedule the backup and can sync your Xiaomi Redmi K70s.

how to transfer from Xiaomi Redmi K70 to Other Android Devices -Transfer Apps

I hope we were able to make you understand how to transfer everything from Xiaomi Redmi K70 to Other Android Devices using third-party tools. We recommend using Dr.Fone - Phone Transfer, which works as the all-in-one tool and transfers all your data within few clicks only, including contacts, SMS, Photos, Music, Videos, Apps, etc.

Why not download it have a try? If this guide helps, don’t forget to share it with your friends.

Tips of Transferring Messages from Xiaomi Redmi K70 to iPhone 14/15

Are you switching your phone to the latest iPhone 14 or 15 and wondering how to transfer your important text messages from your Xiaomi Redmi K70? Unlike transferring photos, moving texts poses a unique challenge as the options available are relatively limited.

Transferring your messages allows you to keep your important messages intact, preserving cherished conversations and important information. Be it a heartfelt message from a loved one or crucial details in a business conversation, some of your text messages must hold significant sentimental and practical value.

This article will guide you through effective and easy methods to transfer texts from Xiaomi Redmi K70 to iPhone. Let’s explore together the best ways to transfer texts and overcome the hurdles that come with this process.

When it comes to seamlessly transferring SMS from Xiaomi Redmi K70 to iPhone, Apple’s official app, “Move to iOS,” can be a reliable and straightforward solution. This app is designed to streamline the transfer process, allowing you to move not only your text messages but also other essential data to your iPhone.

To use this Move to iOS app, you need to download it from the Google Play Store first on your Xiaomi Redmi K70. Then, follow the steps to transfer SMS from Xiaomi Redmi K70 to iPhone here:

  • Step 1: Setup your iPhone. Power up your new iPhone 14 or 15 and progress through the initial setup until you reach the “Apps & Data” screen. At this point, select the option that reads “Move Data from Android.”
  • Step 2: Agree to Terms and Conditions. Open Move to iOS on your Xiaomi Redmi K70. Then, review and tap “Agree” to Terms and Conditions to proceed.
  • Step 3: Enter the Code. On your Xiaomi Redmi K70, a screen will appear, requesting a 6–10-digit code. This code will be generated on your iPhone. Enter the displayed code on your Xiaomi Redmi K70 to make a secure connection between the two devices.
  • Step 4: Select Content to Transfer. With the Xiaomi Redmi K70 devices now connected, you can choose the types of content you wish to transfer. Select “Text Messages” and any other data you want to move to your new iPhone. Tap “Continue” to initiate the transfer process.

**Tip:**Keep your devices close to each other and connected to power until the transfer process is completed.

  • Step 5: Once the transfer is complete, you will be prompted to finish setting up your iPhone. Follow the instructions to complete the setup process, and you’re done.

move data from android with move to ios

How To Move Text Messages From Xiaomi Redmi K70 to iPhone Quickly with Computer

If you’re looking for a swift and reliable way to move text messages from Xiaomi Redmi K70 to iPhone, third-party software like Wondershare Dr.Fone can be the perfect go-to solution.

Packed with a user-friendly interface, this software streamlines the process, ensuring a quick and efficient transfer of your messages through its Phone Transfer feature. Dr.Fone Phone Transfer supports seamless data transfer between Android and iOS devices and vice versa. It also regularly updates so that compatibility won’t be an issue.

How to transfer texts from Xiaomi Redmi K70 to iPhone with Dr.Fone

  • Step 1: Open Wondershare Dr.Fone from its official website , and find the phone transfer tool.

Wondershare Dr.Fone

.

  • Step 2: Specify the source and destination devices. After connecting to your devices, Dr.Fone will identify the connected devices and load their data onto the platform. Choose your Android as the Source device and your iPhone as the Destination device to set the transfer path. Use the Flip button if necessary to alter the transfer direction.

source and target phones

  • Step 3: Choose text messages as data types for transfer. Proceed to select the types of data you wish to transfer. Checkmark the text messages category and click the Start Transfer button. If you want to remove existing data from the destination device, you can select “Clear data before copy.”

start transfer

  • Step 4: Monitor music transfer progress. The progress of the data transfer will be displayed in a pop-up window. Once completed, click OK to conclude the process.

phone transfer ongoing

Troubleshoot Why I Can’t Transfer Texts from Xiaomi Redmi K70 to iPhone

Even with the reliable methods mentioned earlier, there may be instances where you encounter difficulties in transferring texts from your Android to your iPhone. Don’t worry; we’ve got you covered with solutions to common issues that might hinder a smooth transfer.

  • 1. Interrupted transfer

The transfer process may be interrupted if you use other apps, receive a phone call, or navigate away from the transfer screen on your Xiaomi Redmi K70 before it completes. So, make sure that both devices are left undisturbed until the transfer process is complete.

If you navigate away from the “Move to iOS” app on your Android or receive a phone call during the transfer, it may disrupt the process. Restart the transfer and keep both devices active until completion.

  • 2. Problems with Wi-Fi connection

Wi-Fi connection issues on the Android device can hinder the transfer process. This may be caused by apps or settings affecting Wi-Fi, such as Sprint Connections Optimizer or the Smart Network Switch.

To address it, you can turn off apps or settings that might affect Wi-Fi on your Xiaomi Redmi K70, forget known Wi-Fi networks, and retry the transfer. It’s important to maintain a stable Wi-Fi connection on both devices throughout the transfer.

  • 3. Partial content transfer or iOS device full message

Users may encounter situations where only some content is transferred, or the iOS device appears full despite an incomplete transfer. This can lead to potential data loss.

For this issue, you can consider erasing your iOS device and starting the transfer again. Make sure that the available space on your iPhone accommodates the Android content. Delete unnecessary data or apps on your iPhone to free up space if needed.

Bonus: How to Back Up Messages with Google Drive

In addition to seamless transfers between devices, backing up your text messages becomes equally important. Fortunately, Google Drive offers a convenient solution by allowing you to back up your messages with ease. Turning on backup on Google Drive ensures that your valuable SMS history remains safe and accessible whenever you need it.

  • Step 1: Open your Xiaomi Redmi K70’s Settings. Start by opening your Android “Settings” and navigate to the “System,” “System & Updates,” or “About phone” section.
  • Step 2: Select “Backup” or “Backup & Restore”. Within the “System” settings, look for the “Backup” or “Backup & Restore” option. Tap to access the backup settings for your device.
  • Step 3: Choose a Google account. Under the backup settings, you’ll find the option to select the Google account to which you want to back up your data. Make sure that you are signed in with the Google account you want to use for the backup.
  • Step 4: Turn on backup. Your phone will show you that turning on backup will include backing up your text messages. Tap “Turn on” to proceed with the backup.

source and target phones

back-up messages with google drive

Conclusion

Switching phones to the latest model is an exciting occurrence. However, the challenge of transferring crucial data, especially text messages, from an Android to a new iPhone can be challenging.

Fortunately, armed with the insights from this article, we’ve delved into two effective methods for seamlessly transferring text messages: using Apple’s official “Move to iOS” app and leveraging third-party software like Wondershare Dr.Fone. With these methods, you can bid farewell to any complications associated with message transfers.


  • Title: In 2024, How to Transfer Data from Xiaomi Redmi K70 to Any iOS Devices | Dr.fone
  • Author: Emma
  • Created at : 2024-08-29 13:10:28
  • Updated at : 2024-08-30 13:10:28
  • Link: https://android-transfer.techidaily.com/in-2024-how-to-transfer-data-from-xiaomi-redmi-k70-to-any-ios-devices-drfone-by-drfone-transfer-from-android-transfer-from-android/
  • License: This work is licensed under CC BY-NC-SA 4.0.