Eichhorn formulerade en delaf