Mario and the magician and other stories - Mann, Thomas