radio-supervised master clock - Spanisch Englisch Wörterbuch