548
ist verfehlt, da eine extensive Funktion durch eine Liste von Definitionen eingeführt wird.