braid group - German English Dictionary