Datensatz als E-Mail versenden: Certified Grammar Transformation to Chomsky Normal Form in F