2 Ways to Transfer Text Messages from Xiaomi Redmi Note 13 Pro 5G to iPhone 15/14/13/12/11/X/8/ | Dr.fone

2 Ways to Transfer Text Messages from Xiaomi Redmi Note 13 Pro 5G to iPhone 15/14/13/12/11/X/8/ | Dr.fone

Nova Lv13

2 Ways to Transfer Text Messages from Xiaomi Redmi Note 13 Pro 5G to iPhone 15/14/13/12/11/X/8/

The biggest dilemma that people face when they buy a new iPhone like iPhone 14/14 Pro (Max) is how to transfer data from the Android or old iPhone. Well, transferring images, audio, videos, etc. is easy as there are lots of apps available that allow doing so.

Aside from this, it is also important that they can transfer messages and contacts to their new phone like iPhone 14/14 Pro (Max). But the process of how to transfer text messages from Xiaomi Redmi Note 13 Pro 5G to iPhone can get a little more tricky than transferring other data. But don’t worry, as there are some ways available that allow easy transferring of messages from Xiaomi Redmi Note 13 Pro 5G to iPhone.

Part 1: One-click solution to transfer text messages from Xiaomi Redmi Note 13 Pro 5G to iPhone

Buying a new iPhone like iPhone 14/14 Pro (Max) is a lot easier than setting it up. Media files like music, images, and video clips are a lot easier to transfer cross-platform. But the part of migrating contacts and text messages especially gets tricky cross-platform due to poor compatibility between Android and iPhone. Though is possible to transfer text messages from android to iPhone, the process can be slower and will need several workarounds than normal.

Want to transfer Android data to the new iPhone 14/13/12/11/X/8 faster and securely? Then one-click transfer solution - Dr.Fone - Phone Transfer can help in the task. It is a powerful transfer tool that lets users transfer messages from android to iPhone real quick and without any risk. It can transfer not only text messages, but also contacts, music, images, videos, and others. With Dr.Fone - Phone Transfer, one can easily transfer phone data from an android, iOS, Symbian, etc. to other Android or iOS devices. You don’t need to install any app on the sending and receiving devices. Just connect the Xiaomi Redmi Note 13 Pro 5G devices with a USB cable simultaneously and you can transfer data between them very carefully.

Dr.Fone - Phone Transfer

Transfer Text Messages from Xiaomi Redmi Note 13 Pro 5G to iPhone like iPhone 15/14/14 Pro (Max)

  • Easy, fast, and safe.
  • Move data between devices with different operating systems, i.e iOS to Android.
  • Supports iOS devices that run the latest iOS version New icon
  • Transfer photos, text messages, contacts, notes, and many other file types.
  • Supports over 8000+ Android devices.
  • Works for all models of iPhone, iPad, and iPod.

4,053,382 people have downloaded it

How to transfer SMS from Xiaomi Redmi Note 13 Pro 5G to iPhone using Dr.Fone - Phone Transfer?

Using Dr.Fone, it is possible to transfer SMS from Xiaomi Redmi Note 13 Pro 5G to iPhone in a matter of seconds. This one-click method of transferring text messages is way faster and simple than other transfer methods. Follow the steps to learn how to transfer text messages from Xiaomi Redmi Note 13 Pro 5G to iPhone with Dr.Fone - Phone Transfer:

Step 1: Download the Dr.Fone toolkit and install it on the Windows or Mac computer. Launch the toolkit by double-clicking on the desktop shortcut or from the application directory.

Step 2: Then connect both the Xiaomi Redmi Note 13 Pro 5G devices i.e. Android and iPhone to the computer with the help of USB cables. Wait for them to be detected by the software.

launch the tool and connect devices

Step 3: Click on the Switch option on the Dr.Fone utility home screen and it will take you to Dr.Fone - Phone Transfer interface.

Step 4: Both the Android and iPhone will be displayed on the next screen. Select the Android device as the Source and iPhone as the destination using the Flip button.

Step 5: Now, select the data that you want to transfer by checking the respective option. In this case, only check the Text messages checkbox and uncheck everything else.

select text messages for transfer

Step 6: Finally hit the “Start Transfer” button and it will begin to transfer text messages from Xiaomi Redmi Note 13 Pro 5G to iPhone.

Dr.Fone - Phone Transfer offers a safe and quick way to transfer messages from Xiaomi Redmi Note 13 Pro 5G to iPhone like iPhone 14/14 Pro (Max). Moreover, it can work both on new and old target iPhone. Dr.Fone - Phone Transfer is also compatible with a variety of iOS devices and iOS versions, so it doesn’t have any restrictions for transferring data.

Part 2: Transfer SMS from Xiaomi Redmi Note 13 Pro 5G to iPhone using Move to iOS app

Transferring text messages from Xiaomi Redmi Note 13 Pro 5G to iPhone using Dr.Fone - Phone Transfer is the best and the fastest way. But it requires a computer and physically connecting the Xiaomi Redmi Note 13 Pro 5G devices via USB cables. What if the person doesn’t have a computer? They won’t be able to transfer any data from their old Android to a new iPhone like iPhone 14/14 Pro (Max). If you want to find another way to transfer messages and other stuff from Xiaomi Redmi Note 13 Pro 5G to iPhone, then Move to the iOS app can help in this task.

Move to iOS is an Android app developed to make it easier to transfer data from Xiaomi Redmi Note 13 Pro 5G to iOS devices. It is available for free at Google Play Store and is of the minuscule size of approximately 2.2 MB. One doesn’t need to wait extreme time to install the app. With Move to iOS, you will be able to set up the iOS device easily without needing to connect it with a USB cable. But there are some prerequisites that you have to fulfill before you can transfer data from Xiaomi Redmi Note 13 Pro 5G to iPhone 14/14 Pro (Max) or an earlier model-

  • • The iPhone must have iOS 9/10/11/12/13/14/15/16/17
  • • iPhone 5 or later is required
  • • Android 4.0 and above
  • • The iPhone hasn’t been set up yet or the data has been erased
  • • Data doesn’t exceed the storage on iPhone
  • • Steady Wi-Fi network is available

How to transfer text messages from Android and iPhone using Move to iOS?

Want to learn how to transfer messages from android to iPhone without USB cables and computers? With the below steps, you can easily transfer messages and other data from Xiaomi Redmi Note 13 Pro 5G to iPhone like iPhone 14/14 Pro (Max) using Move to iOS -

Step 1: Click on the “Move Data from Android” button on the “Apps and Data” screen during the iPhone setup process. If you have already set up the Xiaomi Redmi Note 13 Pro 5G device, then you need to erase the data from Settings > General > Reset and then go to Apps and Data screen.

transfer messages from android to iphone

Step 2: On the iPhone, click “Continue” on the Move from Android screen. It will generate the 6-digit or 10-digit code.

Step 3: Now on the Android device, download and install the Move to iOS app and open it.

Step 4: Tap on “Continue” and then “Agree” on the terms and conditions screen and then “Next” on the “Find Your Code” screen.

Step 5: Enter the code generated on the iPhone in the “Enter Code” screen.

enter code

Step 6: On the Transfer Data screen, select the content to transfer and click “Next”. It will start the transfer process and will take some time to complete depending on the size of the data.

process of transferring sms from android to iphone

Step 7: After transferring is complete, finish the iPhone device setup process.

The disadvantage that this method has is that you can’t transfer messages from Xiaomi Redmi Note 13 Pro 5G to iPhone on an already set up iPhone. It only works on a new device or has to erase the data on the target device. Moreover, as it only works with all versions of iOS, the older devices can’t transfer messages through this method. They can use Dr.Fone - Phone Transfer for the task.

How I Transferred Messages from Xiaomi Redmi Note 13 Pro 5G to iPhone 12/XS (Max) in Seconds

Recently, I got a new iPhone 12/XS (Max) with so much excitement. But, the one thing that was driving me crazy was how to transfer messages from my old Android device to this iPhone 12/XS (Max), as I have always been an Android phone user till then. So, I was scared to transfer anything to the new iPhone and ruin it. You can have numerous solutions to transfer text messages from Xiaomi Redmi Note 13 Pro 5G to iPhone 12/XS (Max) after setup.

Well! If you are in a similar situation as me, then I would recommend you go through this article. I have finally opted to import SMS to iPhone 12/XS (Max) from Android.

## 2 Apps to Transfer Messages from Xiaomi Redmi Note 13 Pro 5G to iPhone 12/XS (Max) without Computer

How to transfer Android messages to iPhone 12/XS (Max) using Move to iOS app

The first method to transfer text messages from Xiaomi Redmi Note 13 Pro 5G to iPhone 12/XS (Max) is using the official Move to iOS app from Apple. Message history, call logs, contacts, web bookmarks, apps, etc. can be transferred from your Android to any iOS device. Though, I have noticed the app was acting strangely during data transfer. My Wi-Fi got some issues, and Move to iOS couldn’t properly complete the transfer.

Guide for Move to iOS to transfer messages from Xiaomi Redmi Note 13 Pro 5G to iPhone 12/XS (Max)

  1. Download, install, and launch Move to iOS on your Xiaomi Redmi Note 13 Pro 5G.

  2. Get the iPhone 12/XS (Max) and configure the setup and then connect to Wi-Fi. Browse to the ‘Apps & Data’ option, click ‘Move Data from Android’ thereafter. Click the ‘Continue’ button and note the passcode.

    transfer messages from android to iPhone XS (Max) with move to ios

  3. On your Xiaomi Redmi Note 13 Pro 5G, click ‘Continue’ and then press ‘Agree’. When prompted for a passcode, enter the one you got from iPhone 12/XS (Max).

    transfer SMS from android to iPhone XS (Max)

  4. Ensure that the Android phone is also connected to Wi-Fi. Now, click on ‘Messages’ from the ‘Data Transfer’ option. Click ‘Next’ and wait a while to finish the data transfer. Hit the ‘Done’ button afterward once the iPhone 12/XS (Max) gets synched with these messages, set up your iCloud account, and view the messages.

    messages from android phone to iPhone XS (Max) - sync messages

How to transfer Android messages to iPhone 12/XS (Max) using SMS Backup+

You can learn how to transfer messages from Xiaomi Redmi Note 13 Pro 5G to iPhone 12/XS (Max) without a computer using the SMS Backup+ app. It can automatically backup the SMS, call logs, MMS using a different label in Google Calendar and Gmail. Remember that MMS can’t be restored later.

Here is how to transfer messages from Xiaomi Redmi Note 13 Pro 5G to iPhone 12/XS (Max) with SMS Backup+:

  1. Get the Android phone and sign in to your ‘Gmail account’ and press ‘Settings’. Go to ‘Forwarding and POP/IMAP’. Now, tap ‘Enable IMAP’ and click ‘Save Changes’.
  2. Download SMS Backup+ on your Xiaomi Redmi Note 13 Pro 5G from Google Play Store and launch it. Tap ‘Connect’ choose the recently used Gmail account. Now, allow the app to backup the SMS to your Gmail account and hit ‘Backup’.

![transfer messages from android to iPhone XS (Max) using sms backup](https://images.wondershare.com/drfone/article/2018/08/sms-backup.jpg)
  1. Now, since you’ve backed up your messages to Gmail, you can simply access and view them from any device. Simply launch Gmail with the same account, and you’ll be able to get hold of all your messages right on your iPhone 12/XS (Max).

Note: The messages will be enclosed in an Email attachment. That implies you won’t be able to import your messages to your iMessage app. If you want to transfer SMS to the default messages app, try Dr.Fone - Phone Transfer. It’s a one-click and reliable desktop software.

2 Methods to Transfer Messages from Xiaomi Redmi Note 13 Pro 5G to iPhone 12/XS (Max) with a PC

How to transfer all messages to iPhone 12/XS (Max) at a time

For transferring messages from your Xiaomi Redmi Note 13 Pro 5G to iPhone 12/XS (Max), opting for Dr.Fone - Phone Transfer is a great idea. Speak of transferring contacts, photos, music, text messages, etc. from Xiaomi Redmi Note 13 Pro 5G to iOS devices or vice versa, it has a proven record of credibility.

This is how to import SMS to iPhone 12/XS (Max) from Android –

Step 1:  Download Dr.Fone - Phone Transfer on your PC and then install and launch it. Connect your Android and iPhone 12/XS (Max) using respective USB cables.

export messages from android to iPhone 12/XS (Max) in one click

Step 2:  Hit the ‘Switch’ tab from the Dr.Fone window. Select the Android phone as the source and iPhone 12/XS (Max) as the destination over here. Use the ‘Flip’ button in case you have altered the selection.

Note:    Selecting the ‘Clear Data before Copy’ option completely deletes everything from the target.

transfer messages from android to iPhone 12/XS (Max) - source and target connected to pc

Step 3:  In this section, tap on ‘Messages’ and select the ones you want to selectively transfer. Hit the ‘Start Transfer’ button and then wait a while. Click ‘OK’ once the transfer process is over.

confirm to transfer messages from android to iPhone XS (Max)

How to transfer only selected messages iPhone 12/XS (Max)

Alternatively, you can opt for Dr.Fone - Phone Manager for selectively transferring messages from your Xiaomi Redmi Note 13 Pro 5G to your iPhone. Managing your iPhone is easy with such an effective desktop tool.

### Dr.Fone - Phone Manager (iOS)

Quickly and Selectively Transfer Messages from Xiaomi Redmi Note 13 Pro 5G to iPhone 12/XS (Max)

  • Managing your iPhone data got easier by exporting, delete, and add data with this software.
  • It is compatible with the most recent iOS firmware. It requires no internet connectivity to carry out the data transfer.
  • When you are looking for a quick transfer of SMS, videos, music, contacts, etc. to your iPhone 12/XS (Max), this tool is a gem.
  • The best-known alternative to iTunes to connect your PC and iPhone.

3981454 people have downloaded it

Here comes the guide to import SMS to iPhone 12/XS (Max) from Android selectively:

Step 1:  Get Dr.Fone - Phone Manager installed and launched on your PC. Now, press the ‘Phone Manager’ tab.

selectively import messages from android to iPhone 12/XS (Max)

Step 2: Use respective USB cables to connect your Android and iPhone 12/XS (Max) with the computer and then pick Android as the source device. Then, select the ‘Information’ tab displayed on the top.

connect android and iPhone XS (Max) to pc for sms transfer

Step 3:  From the list of messages, choose the desired text messages and hit the ‘Export’ button. Click the ‘Export to device’ button consecutively and complete the process with the onscreen guide.

transfer messages from android to iPhone XS (Max) - choose device

Conclusion

I hope, this article brought you answers to your messages and data transfer queries. From my own experience, I found Dr.Fone Toolkit as the most viable option. If you are looking for a solution that leads to no data loss, then you can go for either Dr.Fone - Phone Transfer or Dr.Fone - Phone Manager .

How to Transfer Content from android to iPhone Directly

Since Xiaomi Redmi Note 13 Pro 5G is embracing Android as its operating system, transitioning from an iPhone to a Xiaomi Redmi Note 13 Pro 5G, or vice versa, can pose challenges due to the differing operating systems. But it doesn’t mean impossible!

If you’re switching to an iPhone and need to transfer all your data, this article has you covered. We will look at ways to facilitate smooth Xiaomi Redmi Note 13 Pro 5G to iPhone transfer while ensuring your valuable information transfers across these devices with no problem.

Parental Control Software

#1 Rated Parental Control Software.
Monitor & Control all PC Activity!
sentrypc.com/parental-controls/
## Part 1. How to Transfer Content from Xiaomi Redmi Note 13 Pro 5G to iPhone Directly

You must be familiar with Xiaomi Redmi Note 13 Pro 5G Migrate if you are a Xiaomi Redmi Note 13 Pro 5G user. It is a solution for seamless data transfer used in Xiaomi Redmi Note 13 Pro 5G devices. With this app, you can transfer data from your Xiaomi Redmi Note 13 Pro 5G device to others, such as iPhones.

However, most of the latest Xiaomi Redmi Note 13 Pro 5G models are now unable to run Xiaomi Redmi Note 13 Pro 5G Migrate since it’s a pretty outdated app. It has been retired by the company since 2015. Users are seeking alternative methods for data transfer as a result. In this section, we explore more effective solutions to transfer content directly from Xiaomi Redmi Note 13 Pro 5G to iPhone besides Xiaomi Redmi Note 13 Pro 5G Migrate.

Solution 1. Using ShareIt App

When Xiaomi Redmi Note 13 Pro 5G Migrate is not an option, ShareIt can be a versatile alternative for Xiaomi Redmi Note 13 Pro 5G to iPhone transfer. ShareIt is a popular cross-platform file-sharing application known for its simplicity and efficiency. To use it, you’ll need to download the ShareIt app on both your Xiaomi Redmi Note 13 Pro 5G and iPhone.

If you have downloaded and installed it, you can continue with the steps below:

  • Step 1: Connect your Xiaomi Redmi Note 13 Pro 5G and iPhone devices

Since ShareIt operates by creating a hotspot network among devices, it’s necessary to have both devices connected to the same Wi-Fi network. Make sure to keep both devices close to each other, too.

  • Step 2: Select the files to transfer

On your Xiaomi Redmi Note 13 Pro 5G device, click the “Send” button. After a new window appears displaying all the categorized files on your device, choose the specific files you want to transfer.

  • Step 3: Look for the Xiaomi Redmi Note 13 Pro 5G device to transfer

After selecting the files, press “Send” and provide the necessary permissions for GPS and Bluetooth. Once permissions are granted, the Xiaomi Redmi Note 13 Pro 5G device will initiate a search for nearby devices.

  • Step 4: Transfer the files to the iPhone.

On your iPhone, open the ShareIt app and click “Receive.” This action opens all the necessary ports to receive shared files. When your Xiaomi Redmi Note 13 Pro 5G phone detects your iPhone, tap on the iPhone’s avatar to proceed with the transfer.

Xiaomi Redmi Note 13 Pro 5G to iPhone transfer with ShareIt.

Solution 2. Move Contents from Xiaomi Redmi Note 13 Pro 5G to iPhone via Apps & Data

Another good alternative of Xiaomi Redmi Note 13 Pro 5G to iPhone transfer app is Move to iOS. This Move to iOS app is designed by Apple specifically for users moving from Android devices to iPhones. You can download it from the Google Play Store. Then, you can transfer the data by accessing Apps & Data on the iPhone.

However, if you have been using your iPhone for a while, you must reset your iPhone first to proceed with this method. It can be done by going to Settings > General > Reset > Erase all content and settings. After resetting, your iPhone will be going back to the initial setup.

For more details, follow the instructions below:

  • Step 1: Setup your iPhone

    Power up your new iPhone and progress through the initial setup until you get into the “Apps & Data” screen. Select the option that reads “Move Data from Android.”

  • Step 2: Agree to Terms and Conditions

  • Open Move to iOS on your Xiaomi Redmi Note 13 Pro 5G phone. Review the terms and conditions and press “Agree” to proceed.

  • Step 3: Enter the Code

  • On your Xiaomi Redmi Note 13 Pro 5G, a screen will appear to request a 6-10-digit code. This code will be generated on your iPhone. Enter the displayed code on your Xiaomi Redmi Note 13 Pro 5G device to make a secure connection between the two devices.

  • Step 4: Select Content to Transfer

  • Next, choose the types of content you wish to transfer. Tap “Continue” to initiate the transfer process. Remember to keep your devices close to each other and connected to power until the transfer process is completed for quicker transfer.

  • Step 5: Transfer complete.

  • Once the transfer is complete, you will be prompted to finish setting up your iPhone. Follow the instructions to complete the setup process.

![Xiaomi Redmi Note 13 Pro 5G to iPhone transfer via Move to iOS.](https://images.wondershare.com/drfone/article/2024/01/transfer-data-from-motorola-to-iphone-2.jpg)

Part 2. How To Make iPhone to Xiaomi Redmi Note 13 Pro 5G Data Transfer Using Easy Software

One significant reason why data transfer from iPhone to Xiaomi Redmi Note 13 Pro 5G is tricky is due to privacy concerns. Apple really prioritizes their user privacy. It implements strict security measures to prevent any breaches. While this is beneficial for users, it can also complicate data transfer.

Another contributing factor is the structure of the files. Android boasts a file system that is more straightforward, unlike iOS. As a solution, third-party software like Wondershare Dr.Fone offers tools like Phone Transfer to simplify the process. With Dr. Fone’s Phone Transfer, you can transfer any data from Xiaomi Redmi Note 13 Pro 5G to iPhone or iPhone to Xiaomi Redmi Note 13 Pro 5G.

How to make iPhone to Xiaomi Redmi Note 13 Pro 5G data transfer with Dr.Fone:

  • Step 1: Open Dr.Fone’s Phone Transfer tool

Make a connection between your iPhone and your Xiaomi Redmi Note 13 Pro 5G phone through USB cable on your computer. Launch Wondershare Dr.Fone on your computer and navigate to Toolbox > Phone Transfer.

iPhone to Xiaomi Redmi Note 13 Pro 5G data transfer using Dr.Fone.

  • Step 2: Specify the source and destination devices

After connecting them, the platform will identify the connected devices and load their data onto the platform. Choose the Source and Destination devices to set the transfer path. Use the Flip button if necessary to alter the transfer direction.

Specify the source and target devices.

  • Step 3: Choose the data type for the transfer

Proceed to select the types of data you wish to transfer. Checkmark the 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.”

Choose the data types for transfer.

  • Step 4: Disable iCloud syncing

Now, Dr. Fone’s Phone Transfer tool should prompt a specific operation on the window. Follow the instructions to turn off iCloud syncing. Open your iPhone Settings and tap on your device’s name. Go to iCloud > Photos to disable the toggle for iCloud Photos.

Disable iCloud syncing for your iPhone.

  • Step 5: Monitor data transfer progress

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

Monitor the data transfer progress.

Part 3. How to Do Xiaomi Redmi Note 13 Pro 5G to iPhone Data Transfer Using Dropbox/Google Drive

Another method for Xiaomi Redmi Note 13 Pro 5G to iPhone transfer is using Cloud services like Dropbox or Google Drive. Both Dropbox and Google Drive serve as virtual storage spaces accessible from any device with an internet connection. Users can upload and store their files to the cloud, making them available for download on other devices.

Either Google Drive or Dropbox follows similar steps for data transfer. The difference between them is in the amount of free storage each service provides. Notably, Google Drive provides 15GB of free storage, while Dropbox offers 2GB.

Follow these steps on how to do a Xiaomi Redmi Note 13 Pro 5G to iPhone transfer via cloud storage services.

  • Step 1: Install and set up Dropbox/Google Drive:

Begin by installing the Dropbox or Google Drive app on both your Xiaomi Redmi Note 13 Pro 5G and iPhone. Create accounts if you don’t have them already.

  • Step 2: Upload the files from Xiaomi Redmi Note 13 Pro 5G

Open the cloud storage app on your Xiaomi Redmi Note 13 Pro 5G device and upload the data you want to transfer. This can include photos, videos, documents, and more. Then, wait for the upload to complete. Make sure that all files are successfully uploaded before proceeding.

  • Step 3: Sign in to the cloud storage on your iPhone

On your iPhone, open Dropbox or Google Drive and sign in with the same account. Find the transferred files in the cloud storage.

  • Step 4: Download to iPhone:

Select the files you want to transfer and download them to your iPhone. Once the download is complete, organize the transferred files on your iPhone as needed.

Xiaomi Redmi Note 13 Pro 5G to iPhone transfer via cloud services.

Conclusion

Transitioning from a Xiaomi Redmi Note 13 Pro 5G device to an iPhone, or vice versa, may present challenges due to the difference in operating systems. However, with the right tools and methods, the iPhone to Xiaomi Redmi Note 13 Pro 5G data transfer can be done seamlessly and efficiently.

Even though Xiaomi Redmi Note 13 Pro 5G Migrate is no longer in the game, apps like ShareIt and Move to iOS can be alternatives for a direct transfer. If things get a bit trickier when transferring from iPhone to Xiaomi Redmi Note 13 Pro 5G due to Apple’s privacy measures, third-party software like Wondershare Dr.Fone’s Phone Transfer is there to simplify it all.

And for those who prefer the cloud, Dropbox and Google Drive also offer a solution. So, no matter your preference, there’s a solution to ensure your data transfer moves smoothly.


  • Title: 2 Ways to Transfer Text Messages from Xiaomi Redmi Note 13 Pro 5G to iPhone 15/14/13/12/11/X/8/ | Dr.fone
  • Author: Nova
  • Created at : 2024-08-20 17:36:04
  • Updated at : 2024-08-21 17:36:04
  • Link: https://blog-min.techidaily.com/2-ways-to-transfer-text-messages-from-xiaomi-redmi-note-13-pro-5g-to-iphone-1514131211x8-drfone-by-drfone-transfer-from-android-transfer-from-android/
  • License: This work is licensed under CC BY-NC-SA 4.0.