Weyl's 1918–1929 gauge theory already encoded the geometric-phase interpretation of electromagnetism...