kernel time - Deutsch Englisch Wörterbuch