Space, time, matter - Weyl, Hermann, 1885-1955 (Dover, 1952)