Version and credits updated to reference German translation from Caspar Hübinger.