mikrokernel - German English Dictionary