micromachining - Spanisch Englisch Wörterbuch