Nekrolog: Ernest Gellner er død