real time kernel - Spanisch Englisch Wörterbuch