End of Project Gutenberg's The Man Who Staked the Stars, by Charles Dye_The Man Who Staked the Stars