\v=17
\v~=Damals sang Israel dieses Lied:
\¬p
\p
\p~<<p=Herauf, Brunnen! Singt ihm zu!
\¬v