Title: The Channel Tunnel terminal, a new building type