The same terminal is used for electronic mail and maintaining a calendar.

Only one terminal is used for both domestic and international services.

The old terminal is undergoing renovation, and will be used for domestic flights in the future.

The new terminal is now used for international flights.

The old terminal is now used for domestic flights.

Since opening, the terminal has been used by more than 13 million passengers on 95,000 flights.

The terminal is used as a mooring for pleasure craft.

The terminal has 200 staff and is used by about 300 passengers daily.

In June, each terminal was used an average of 3.7 minutes a day.

This second terminal is today used for cargo operations.