Keyword: korrektness 0