Face masks are available at the vending machines located in and in front of the terminal and in the shops in the departure hall. Please ask a member of staff to inform you on additional points of sales of masks.
A good tip: Buy your face masks before you leave home for your trip.