microkernel - German English Dictionary