eine formel ueberarbeiten Synonym