redundante schleifen drehen Synonym