Text this: Lukacs o Korsch?