History of the seven champions of Christendom [electronic resource]