mach kernel - German English Dictionary