Typos

Anbei einige korrigierte Typos von mir und Cataldo, die wir beim Lernen entdeckt haben.