[تم الحل] Set default currency

Background of the issue:
For some reason the default currency has changed from EUR to DKK. We would like to change that back, so that the default currency is EUR. Tried going to settings under WooCommerce and switched the currency to EUR. But that made the EUR currency disappear completely. So not quite sure what to do.

Symptoms:
The default currency changed from EUR to DKK, and switching back to EUR made the EUR currency disappear completely.

Questions:
How can I change the default currency back to EUR without it disappearing?
Is there a specific setting in WPML that I need to adjust to fix the currency issue?