Translation of "Corrolaries" in German