\texttt{0\textbackslash\{5,\textbackslash\}}& F<>nf oder mehr Nullen in Folge. \tabularnewline\STRUT
\texttt{[0-9]-[0-9]\textbackslash\{3\textbackslash\}-[0-9]\textbackslash\{5\textbackslash\}-[0-9X]}& ISBN-Nummern in der Form \textsl{n-nnn-nnnnn-n}, das letzte Zeichen kann auch ein X sein.