The Naples metro Line 1: the service tunnel at Toledo station