Machをドイツ語発音するなら
Kernelもドイツ語発音しないと遺憾のでは?