micromachining - German English Dictionary