Autogrill: A restaurant, now permanently closed.