cray operating system - Spanisch Englisch Wörterbuch