double half-round file - German English Dictionary