Subject to availability, you can buy an adapter at the front desk for €15. Otherwise, you can also get one at the self-service shop.