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