Marius — short story by Poul Anderson