Das lmerTestPaket bietet eine anova()Funktion für lineare gemischte Modelle mit optionaler Satterthwaite- (Standard) oder Kenward-Roger-Näherung der Freiheitsgrade (df). Was ist der Unterschied zwischen diesen beiden Ansätzen? Wann soll man welche wählen?