The shopping part of the website has been under brief maintenance.
Having had problems with the currency converter, we decided to switch the native currency from DKK (Danish Kroner) into USD (US Dollar). We may add a currency converter widget at a later point, but for now we will only display USD.
Stripe has been removed as a payment method. You can still pay with credit card on Paypal, without creating an account.