03-definition.tex: IND-CCA hinzugefügt; Struktur angepasst.