Comparing GermProof to the Competition