The Passenger Terminal Building at Hong Kong International Airport.