"to take out the kernel" Deutsche bedeutung