formale pruefung Synonym