\v=22
\v~=Und als sie \add das\add* hörten, verwunderten sie sich und ließen ihn und gingen weg.
\¬v
\¬p