Translation of "Corrolary" in German