double half round file - German English Dictionary