"deutscher" kernel