schlumpf koch