Mario and the magician : and other stories - Mann, Thomas, 1875-1955 (Harmondsworth : Penguin Books, 1975)