German engineer predicted 'Elon' would conquer Mars in 1952 novel