!["2024 Approved Best 9 Android Apps Minimize Videos Effortlessly and Costlessly"](https://www.lifewire.com/thmb/ET51ABCwWBTletzUuHrK9bZXzl8=/1000x333/filters:no_upscale():max_bytes(150000):strip_icc()/HowTo_Computers-28f36cf9111a4e14aa557ed6c6183653.png)
"2024 Approved Best 9 Android Apps Minimize Videos Effortlessly and Costlessly"
![](/images/site-logo.png)
Best 9 Android Apps: Minimize Videos Effortlessly and Costlessly
6 Best Free Apps to Compress Videos on Android
Ollie Mattison
Mar 27, 2024• Proven solutions
If you created a funny video with your friends or caught a wonderful scene in nature, you may want to send the video to someone. Or maybe you want to upload it online. The problem is that some videos have a very large file size, which makes uploading or sending it to someone difficult. That is why you may need to compress the video on Android before you can send it out.
The good news is that you can easily use free applications on your Android phone to compress those videos. Then you can delete the original video, free up space on your phone, and send the video out to anyone you want! Here are six apps for compressing video on Android.
Comparison Table
Before diving into the six apps, please check the comparison table analyzed by us. I am sure it will give you a comprehensive understanding.
Video Compress | Resize Video | Video Compressor by Sunshine | Videos & Movies Compressor | Video Dieter 2 | Video Compressor | |
---|---|---|---|---|---|---|
Android Version | Y | Y | Y | Y | Y | Y |
iOS Version | N | N | N | N | N | N |
Supported File Format | MP3, MP4, AVI, WMV… | / | MP3,MP4… | MP3, MP4, FLV… | MP3, MP4… | MP4, 3GP, and AVI |
HD Compression | Y | Y | Y | Y | Y | / |
Share Video Directly | Y | Y | Y | Y | Y | Y |
Free or Not | Y | Y | Y | Y | Y | Y |
Top Six Free Android Apps for Compressing Video
1. Video Compress
Video compress makes it much easier to compress videos and share them on social networks, such as Facebook, Google+, WhatsApp, and more.
Pros:
- Can adjust the video quality between high, normal, and low for different levels of compression.
- Easy to use interface and very rapid compression process.
- Supports all video formats.
- Allows audio removal if requested, which reduces file size even further.
- Can convert a video into an audio-only MP3 file if needed.
Cons:
- Sometimes difficult to delete new video files from the app.
- The feature of sending video to the user through SMS does not always work.
2. Resize Video
With Resize Video, you can easily compress video on Android phones and tablets. You can pick the video size that is to your liking, and you can even trim the video’s length before compression.
Pros:
- Easy resizing ability, along with cropping and trimming of videos.
- Remote audio from videos, and add music to videos when you want.
- Share videos on social networks like Facebook, Gmail, and more.
- Save and delete videos through the app.
Cons:
- Some users were unhappy with the level of resizing that occurred with their videos. They wanted their videos to shrink even more.
3. Video Compressor by Sunshine
Video Compressor by Sunshine is one of the few multi-video compressors available on the Play Store. You can turn multiple videos into one compressed file to save space on your phone.
Pros:
- Compresses many large files into one smaller file, if desired.
- Optimizes file space by overwriting compressed videos to give you an average of 90 percent more space on your phone.
- Options for FHD, HD, and SD settings for compression. SD will have the smallest file size.
- Transfer your compressed videos instantly.
Cons:
- Only compresses files you create on your phone, not ones downloaded from various online sources.
4. Videos & Movies Compressor
Videos & Movies Compressor offers support for all popular video formats. The application makes it easy to compress video on Android and share it with friends or family.
Pros:
- All video and movie formats are supported.
- Choose the size through a slider that adjusts shrink level.
- Choose your video through a gallery, making it easy to select the correct video.
- Will compress in the background so that you can complete other tasks on your phone.
Cons:
- No option for compressing multiple videos into one file.
- Sometimes the picture quality is compromised if you compress the size too much.
5. Video Dieter 2
With Video Dieter, it is very simple to decide how much to compress your video. Remember that each reduction in file size reduces quality, so you will want to find the right balance. The software also makes sharing videos very easy.
Pros:
- Easy to trim parts of the video you do not want.
- Ability to transcode files very quickly.
- Set the resolution and quality you want before compression begins.
- Ability to slow down videos or enable time-lapse.
Cons:
- Limited options for changing file names or adjusting where the files are saved.
6. Video Compressor
Video Compressor is one of the easiest ways to reduce the size of your video files before you save them or share them. Even if you have no experience compressing videos or converting them to other formats, you can get it done with this program.
Pros:
- Use the gallery to pick the video you want to compress.
- Support for MP4, 3GP, and AVI.
- Preview videos before they are shared or saved.
Cons:
- Some video formats are not supported.
Best Video Compresser for PC - Filmora
- Compress videos on PC and Mac with simple clicks
- Edit your videos after compressing with rich effects
- Customize the video resolution and format
- Export to MP4, MOV, MKV, GIF and multiple formats
For Win 7 or later (64-bit)
Secure Download
For macOS 10.14 or later
Secure Download
Click here to get Filmora for PC by email
or Try Filmora App for mobile >>>
download filmora app for ios ](https://app.adjust.com/b0k9hf2%5F4bsu85t ) download filmora app for android ](https://app.adjust.com/b0k9hf2%5F4bsu85t )
Conclusion
Using any of these free apps, you can compress video on Android devices with ease. Whether using your tablet or smartphone, you can compress your video to a much smaller size without compromising its quality.
Now you can send your videos to friends much faster, and you can upload them easily onto social media sites like Instagram, Facebook, Twitter, or Google+. And you do not even need to use a computer or another device – it is all done through these free apps available on the Android Play Store!
Ollie Mattison
Ollie Mattison is a writer and a lover of all things video.
Follow @Ollie Mattison
Ollie Mattison
Mar 27, 2024• Proven solutions
If you created a funny video with your friends or caught a wonderful scene in nature, you may want to send the video to someone. Or maybe you want to upload it online. The problem is that some videos have a very large file size, which makes uploading or sending it to someone difficult. That is why you may need to compress the video on Android before you can send it out.
The good news is that you can easily use free applications on your Android phone to compress those videos. Then you can delete the original video, free up space on your phone, and send the video out to anyone you want! Here are six apps for compressing video on Android.
Comparison Table
Before diving into the six apps, please check the comparison table analyzed by us. I am sure it will give you a comprehensive understanding.
Video Compress | Resize Video | Video Compressor by Sunshine | Videos & Movies Compressor | Video Dieter 2 | Video Compressor | |
---|---|---|---|---|---|---|
Android Version | Y | Y | Y | Y | Y | Y |
iOS Version | N | N | N | N | N | N |
Supported File Format | MP3, MP4, AVI, WMV… | / | MP3,MP4… | MP3, MP4, FLV… | MP3, MP4… | MP4, 3GP, and AVI |
HD Compression | Y | Y | Y | Y | Y | / |
Share Video Directly | Y | Y | Y | Y | Y | Y |
Free or Not | Y | Y | Y | Y | Y | Y |
Top Six Free Android Apps for Compressing Video
1. Video Compress
Video compress makes it much easier to compress videos and share them on social networks, such as Facebook, Google+, WhatsApp, and more.
Pros:
- Can adjust the video quality between high, normal, and low for different levels of compression.
- Easy to use interface and very rapid compression process.
- Supports all video formats.
- Allows audio removal if requested, which reduces file size even further.
- Can convert a video into an audio-only MP3 file if needed.
Cons:
- Sometimes difficult to delete new video files from the app.
- The feature of sending video to the user through SMS does not always work.
2. Resize Video
With Resize Video, you can easily compress video on Android phones and tablets. You can pick the video size that is to your liking, and you can even trim the video’s length before compression.
Pros:
- Easy resizing ability, along with cropping and trimming of videos.
- Remote audio from videos, and add music to videos when you want.
- Share videos on social networks like Facebook, Gmail, and more.
- Save and delete videos through the app.
Cons:
- Some users were unhappy with the level of resizing that occurred with their videos. They wanted their videos to shrink even more.
3. Video Compressor by Sunshine
Video Compressor by Sunshine is one of the few multi-video compressors available on the Play Store. You can turn multiple videos into one compressed file to save space on your phone.
Pros:
- Compresses many large files into one smaller file, if desired.
- Optimizes file space by overwriting compressed videos to give you an average of 90 percent more space on your phone.
- Options for FHD, HD, and SD settings for compression. SD will have the smallest file size.
- Transfer your compressed videos instantly.
Cons:
- Only compresses files you create on your phone, not ones downloaded from various online sources.
4. Videos & Movies Compressor
Videos & Movies Compressor offers support for all popular video formats. The application makes it easy to compress video on Android and share it with friends or family.
Pros:
- All video and movie formats are supported.
- Choose the size through a slider that adjusts shrink level.
- Choose your video through a gallery, making it easy to select the correct video.
- Will compress in the background so that you can complete other tasks on your phone.
Cons:
- No option for compressing multiple videos into one file.
- Sometimes the picture quality is compromised if you compress the size too much.
5. Video Dieter 2
With Video Dieter, it is very simple to decide how much to compress your video. Remember that each reduction in file size reduces quality, so you will want to find the right balance. The software also makes sharing videos very easy.
Pros:
- Easy to trim parts of the video you do not want.
- Ability to transcode files very quickly.
- Set the resolution and quality you want before compression begins.
- Ability to slow down videos or enable time-lapse.
Cons:
- Limited options for changing file names or adjusting where the files are saved.
6. Video Compressor
Video Compressor is one of the easiest ways to reduce the size of your video files before you save them or share them. Even if you have no experience compressing videos or converting them to other formats, you can get it done with this program.
Pros:
- Use the gallery to pick the video you want to compress.
- Support for MP4, 3GP, and AVI.
- Preview videos before they are shared or saved.
Cons:
- Some video formats are not supported.
Best Video Compresser for PC - Filmora
- Compress videos on PC and Mac with simple clicks
- Edit your videos after compressing with rich effects
- Customize the video resolution and format
- Export to MP4, MOV, MKV, GIF and multiple formats
For Win 7 or later (64-bit)
Secure Download
For macOS 10.14 or later
Secure Download
Click here to get Filmora for PC by email
or Try Filmora App for mobile >>>
download filmora app for ios ](https://app.adjust.com/b0k9hf2%5F4bsu85t ) download filmora app for android ](https://app.adjust.com/b0k9hf2%5F4bsu85t )
Conclusion
Using any of these free apps, you can compress video on Android devices with ease. Whether using your tablet or smartphone, you can compress your video to a much smaller size without compromising its quality.
Now you can send your videos to friends much faster, and you can upload them easily onto social media sites like Instagram, Facebook, Twitter, or Google+. And you do not even need to use a computer or another device – it is all done through these free apps available on the Android Play Store!
Ollie Mattison
Ollie Mattison is a writer and a lover of all things video.
Follow @Ollie Mattison
Ollie Mattison
Mar 27, 2024• Proven solutions
If you created a funny video with your friends or caught a wonderful scene in nature, you may want to send the video to someone. Or maybe you want to upload it online. The problem is that some videos have a very large file size, which makes uploading or sending it to someone difficult. That is why you may need to compress the video on Android before you can send it out.
The good news is that you can easily use free applications on your Android phone to compress those videos. Then you can delete the original video, free up space on your phone, and send the video out to anyone you want! Here are six apps for compressing video on Android.
Comparison Table
Before diving into the six apps, please check the comparison table analyzed by us. I am sure it will give you a comprehensive understanding.
Video Compress | Resize Video | Video Compressor by Sunshine | Videos & Movies Compressor | Video Dieter 2 | Video Compressor | |
---|---|---|---|---|---|---|
Android Version | Y | Y | Y | Y | Y | Y |
iOS Version | N | N | N | N | N | N |
Supported File Format | MP3, MP4, AVI, WMV… | / | MP3,MP4… | MP3, MP4, FLV… | MP3, MP4… | MP4, 3GP, and AVI |
HD Compression | Y | Y | Y | Y | Y | / |
Share Video Directly | Y | Y | Y | Y | Y | Y |
Free or Not | Y | Y | Y | Y | Y | Y |
Top Six Free Android Apps for Compressing Video
1. Video Compress
Video compress makes it much easier to compress videos and share them on social networks, such as Facebook, Google+, WhatsApp, and more.
Pros:
- Can adjust the video quality between high, normal, and low for different levels of compression.
- Easy to use interface and very rapid compression process.
- Supports all video formats.
- Allows audio removal if requested, which reduces file size even further.
- Can convert a video into an audio-only MP3 file if needed.
Cons:
- Sometimes difficult to delete new video files from the app.
- The feature of sending video to the user through SMS does not always work.
2. Resize Video
With Resize Video, you can easily compress video on Android phones and tablets. You can pick the video size that is to your liking, and you can even trim the video’s length before compression.
Pros:
- Easy resizing ability, along with cropping and trimming of videos.
- Remote audio from videos, and add music to videos when you want.
- Share videos on social networks like Facebook, Gmail, and more.
- Save and delete videos through the app.
Cons:
- Some users were unhappy with the level of resizing that occurred with their videos. They wanted their videos to shrink even more.
3. Video Compressor by Sunshine
Video Compressor by Sunshine is one of the few multi-video compressors available on the Play Store. You can turn multiple videos into one compressed file to save space on your phone.
Pros:
- Compresses many large files into one smaller file, if desired.
- Optimizes file space by overwriting compressed videos to give you an average of 90 percent more space on your phone.
- Options for FHD, HD, and SD settings for compression. SD will have the smallest file size.
- Transfer your compressed videos instantly.
Cons:
- Only compresses files you create on your phone, not ones downloaded from various online sources.
4. Videos & Movies Compressor
Videos & Movies Compressor offers support for all popular video formats. The application makes it easy to compress video on Android and share it with friends or family.
Pros:
- All video and movie formats are supported.
- Choose the size through a slider that adjusts shrink level.
- Choose your video through a gallery, making it easy to select the correct video.
- Will compress in the background so that you can complete other tasks on your phone.
Cons:
- No option for compressing multiple videos into one file.
- Sometimes the picture quality is compromised if you compress the size too much.
5. Video Dieter 2
With Video Dieter, it is very simple to decide how much to compress your video. Remember that each reduction in file size reduces quality, so you will want to find the right balance. The software also makes sharing videos very easy.
Pros:
- Easy to trim parts of the video you do not want.
- Ability to transcode files very quickly.
- Set the resolution and quality you want before compression begins.
- Ability to slow down videos or enable time-lapse.
Cons:
- Limited options for changing file names or adjusting where the files are saved.
6. Video Compressor
Video Compressor is one of the easiest ways to reduce the size of your video files before you save them or share them. Even if you have no experience compressing videos or converting them to other formats, you can get it done with this program.
Pros:
- Use the gallery to pick the video you want to compress.
- Support for MP4, 3GP, and AVI.
- Preview videos before they are shared or saved.
Cons:
- Some video formats are not supported.
Best Video Compresser for PC - Filmora
- Compress videos on PC and Mac with simple clicks
- Edit your videos after compressing with rich effects
- Customize the video resolution and format
- Export to MP4, MOV, MKV, GIF and multiple formats
For Win 7 or later (64-bit)
Secure Download
For macOS 10.14 or later
Secure Download
Click here to get Filmora for PC by email
or Try Filmora App for mobile >>>
download filmora app for ios ](https://app.adjust.com/b0k9hf2%5F4bsu85t ) download filmora app for android ](https://app.adjust.com/b0k9hf2%5F4bsu85t )
Conclusion
Using any of these free apps, you can compress video on Android devices with ease. Whether using your tablet or smartphone, you can compress your video to a much smaller size without compromising its quality.
Now you can send your videos to friends much faster, and you can upload them easily onto social media sites like Instagram, Facebook, Twitter, or Google+. And you do not even need to use a computer or another device – it is all done through these free apps available on the Android Play Store!
Ollie Mattison
Ollie Mattison is a writer and a lover of all things video.
Follow @Ollie Mattison
Ollie Mattison
Mar 27, 2024• Proven solutions
If you created a funny video with your friends or caught a wonderful scene in nature, you may want to send the video to someone. Or maybe you want to upload it online. The problem is that some videos have a very large file size, which makes uploading or sending it to someone difficult. That is why you may need to compress the video on Android before you can send it out.
The good news is that you can easily use free applications on your Android phone to compress those videos. Then you can delete the original video, free up space on your phone, and send the video out to anyone you want! Here are six apps for compressing video on Android.
Comparison Table
Before diving into the six apps, please check the comparison table analyzed by us. I am sure it will give you a comprehensive understanding.
Video Compress | Resize Video | Video Compressor by Sunshine | Videos & Movies Compressor | Video Dieter 2 | Video Compressor | |
---|---|---|---|---|---|---|
Android Version | Y | Y | Y | Y | Y | Y |
iOS Version | N | N | N | N | N | N |
Supported File Format | MP3, MP4, AVI, WMV… | / | MP3,MP4… | MP3, MP4, FLV… | MP3, MP4… | MP4, 3GP, and AVI |
HD Compression | Y | Y | Y | Y | Y | / |
Share Video Directly | Y | Y | Y | Y | Y | Y |
Free or Not | Y | Y | Y | Y | Y | Y |
Top Six Free Android Apps for Compressing Video
1. Video Compress
Video compress makes it much easier to compress videos and share them on social networks, such as Facebook, Google+, WhatsApp, and more.
Pros:
- Can adjust the video quality between high, normal, and low for different levels of compression.
- Easy to use interface and very rapid compression process.
- Supports all video formats.
- Allows audio removal if requested, which reduces file size even further.
- Can convert a video into an audio-only MP3 file if needed.
Cons:
- Sometimes difficult to delete new video files from the app.
- The feature of sending video to the user through SMS does not always work.
2. Resize Video
With Resize Video, you can easily compress video on Android phones and tablets. You can pick the video size that is to your liking, and you can even trim the video’s length before compression.
Pros:
- Easy resizing ability, along with cropping and trimming of videos.
- Remote audio from videos, and add music to videos when you want.
- Share videos on social networks like Facebook, Gmail, and more.
- Save and delete videos through the app.
Cons:
- Some users were unhappy with the level of resizing that occurred with their videos. They wanted their videos to shrink even more.
3. Video Compressor by Sunshine
Video Compressor by Sunshine is one of the few multi-video compressors available on the Play Store. You can turn multiple videos into one compressed file to save space on your phone.
Pros:
- Compresses many large files into one smaller file, if desired.
- Optimizes file space by overwriting compressed videos to give you an average of 90 percent more space on your phone.
- Options for FHD, HD, and SD settings for compression. SD will have the smallest file size.
- Transfer your compressed videos instantly.
Cons:
- Only compresses files you create on your phone, not ones downloaded from various online sources.
4. Videos & Movies Compressor
Videos & Movies Compressor offers support for all popular video formats. The application makes it easy to compress video on Android and share it with friends or family.
Pros:
- All video and movie formats are supported.
- Choose the size through a slider that adjusts shrink level.
- Choose your video through a gallery, making it easy to select the correct video.
- Will compress in the background so that you can complete other tasks on your phone.
Cons:
- No option for compressing multiple videos into one file.
- Sometimes the picture quality is compromised if you compress the size too much.
5. Video Dieter 2
With Video Dieter, it is very simple to decide how much to compress your video. Remember that each reduction in file size reduces quality, so you will want to find the right balance. The software also makes sharing videos very easy.
Pros:
- Easy to trim parts of the video you do not want.
- Ability to transcode files very quickly.
- Set the resolution and quality you want before compression begins.
- Ability to slow down videos or enable time-lapse.
Cons:
- Limited options for changing file names or adjusting where the files are saved.
6. Video Compressor
Video Compressor is one of the easiest ways to reduce the size of your video files before you save them or share them. Even if you have no experience compressing videos or converting them to other formats, you can get it done with this program.
Pros:
- Use the gallery to pick the video you want to compress.
- Support for MP4, 3GP, and AVI.
- Preview videos before they are shared or saved.
Cons:
- Some video formats are not supported.
Best Video Compresser for PC - Filmora
- Compress videos on PC and Mac with simple clicks
- Edit your videos after compressing with rich effects
- Customize the video resolution and format
- Export to MP4, MOV, MKV, GIF and multiple formats
For Win 7 or later (64-bit)
Secure Download
For macOS 10.14 or later
Secure Download
Click here to get Filmora for PC by email
or Try Filmora App for mobile >>>
download filmora app for ios ](https://app.adjust.com/b0k9hf2%5F4bsu85t ) download filmora app for android ](https://app.adjust.com/b0k9hf2%5F4bsu85t )
Conclusion
Using any of these free apps, you can compress video on Android devices with ease. Whether using your tablet or smartphone, you can compress your video to a much smaller size without compromising its quality.
Now you can send your videos to friends much faster, and you can upload them easily onto social media sites like Instagram, Facebook, Twitter, or Google+. And you do not even need to use a computer or another device – it is all done through these free apps available on the Android Play Store!
Ollie Mattison
Ollie Mattison is a writer and a lover of all things video.
Follow @Ollie Mattison
Also read:
- No-Cost Creative Corner Finding the Finest TikTok Backgrounds
- Crafting Compelling Movies Implementing Fade Techniques for 2024
- 2024 Approved Android's Crème De La Crème for Fast Vid Fixing
- 2024 Approved A Critical Evaluation of Ustream with Equivalents
- 2024 Approved Beat Junkies' Essentials Online, Cost-Free Software
- 2024 Approved Advanced Livestream Software Arsenal
- 2023'S Leading PC VR Headsets Revealed for 2024
- Cloud Price Wars Best Value Allocation for 2024
- Leading 17 Utilities for Streamlined Picture Edits
- [Updated] A Detailed Analysis of Movavi Pro Video Editor 2024+
- Explore Costless Methods for Superior Photo Quality
- Speedy File Assessment on Windows PCs
- Optimal Audio Bridge for Podcasters
- [New] Capture Heights with DJI Spark The Small Drone Selfie Powerhouse
- Premier Script Development Arena
- Cut the Clutter in Your TikTok Archive Learn to Edit Wisely
- Illuminate Your Images Adding Life with Illustrator Motion
- [Updated] Converting Tweeted Videos Into Playable MP3 Tracks
- The Art of Visual Excellence - Leveraging Enhancer 2.2
- Achieve Harmony Import Audio to Your InShot Clips for 2024
- Experiences with the Syma X8C Drone
- Capturing Magic in Motion A Guide to Hero5 Timelapses
- The Essential Skills Editing, Blurring, and Background Removal
- Assessing the Longevity & Support Life Cycle of Huawei P10 for 2024
- 2024 Approved Accelerate Android Videos From Sluggish to Swift
- Preventing Frame Skips in Live OBS Broadcasts
- [Updated] Synchronizing Teams Mastering Device-Agnostic Zoom Events for 2024
- How to Fix Android.Process.Media Has Stopped on OnePlus Ace 3 | Dr.fone
- Best Video Repair tool to Fix and Repair Corrupted video files of Red Magic 8S Pro+
- How to play HEVC H.265 video on Galaxy M14 5G?
- 2024 Approved Discover Creative Ways to Enhance Your FB Video Ads
- The Future of Remote Work Unveiling the Best Vocal Manipulation Apps for Google Meet Users
- [Updated] 2024 Approved Master Your Gaming Footage Top 5 Techniques for Windows 11 Recorders
- New Best Movie Making Apps for Android Top Picks for 2024
- New In 2024, Join WMV Videos for Free Top 5 Tools
- New Expert Picks The Best Video Editing Software for Mac In
- How to retrieve erased videos from Infinix Note 30 VIP
- [Updated] In 2024, Visual Virtuosity Mastering Motivation on Instagram
- Complete Testimonials of Gecata's Recorder
- Best Fixes For Samsung Galaxy Z Flip 5 Hard Reset | Dr.fone
- [Updated] In 2024, Nine Key Approaches for Storing .mov in Windows Environments
- In 2024, Here are Some of the Best Pokemon Discord Servers to Join On Tecno Spark 10C | Dr.fone
- New 2024 Approved The Art of Video Timing Speeding Up and Slowing Down in Camtasia
- [New] In 2024, Breaking Down the Hype Around RecordCast
- [New] Capture the Moment - No-Cost, Cross-Platform Screen Recorders for PC/Mac
- How to Stop My Spouse from Spying on My Samsung Galaxy S23 Tactical Edition | Dr.fone
- Updated In 2024, Master Your Audio Projects with These 5 Indispensable Android Applications for Audio Editing
- Transform Your TikTok Avatar Instruction Manual for Change
- Title: "2024 Approved Best 9 Android Apps Minimize Videos Effortlessly and Costlessly"
- Author: Daniel
- Created at : 2024-05-24 05:16:24
- Updated at : 2024-05-25 05:16:24
- Link: https://extra-resources.techidaily.com/2024-approved-best-9-android-apps-minimize-videos-effortlessly-and-costlessly/
- License: This work is licensed under CC BY-NC-SA 4.0.