Jansen, “History of the German People,” English translation, XVI, 249-51.