A User's Guide to Franz Rosenzweig's Star of Redemption