An obituary for the Airbus A380