Más tarde se nombró por la ciudad belga de Arlon.