Translation of "Proveable" in German