real-time kernel (RTK) - Deutsch Englisch Wörterbuch