"microkernel" auf Deutsch microkernel Mikrokernel Ausführliche Übersetzungen für "microkernel" microkernel microkernel der Mikrokernel{Maskulinum}