How Weyl stumbled across electricity while pursuing mathematical justice

It is argued that Weyl's theory of gravitation and electricity came out of ‘mathematical justice’: out of the equal rights of direction and length. Such justice was manifestly at work in the context of discovery, and is enough to derive all of source-free electromagnetism. Weyl's repeated references to coordinates and gauge are taken to express equal treatment of direction and length.