גרמנית ⇄ אנגלית +

Beweisalgorithmen m
כלל.	proof algorithms