Re: "deutscher" kernel