#!/bin/bash
# Run all verifications
#
austal -D verif/00 --language=de
austal -D verif/01 --language=de
austal -D verif/02 --language=de
austal -D verif/11  --language=de 
austal -D verif/13  --language=de 
austal -D verif/14   --language=de
austal -D verif/21   --language=de
austal -D verif/22a  --language=de
austal -D verif/22b --language=de
austal -D verif/23 --language=de
austal -D verif/31  --language=de 
austal -D verif/41   --language=de
austal -D verif/51a  --language=de
austal -D verif/51b  --language=de
austal -D verif/51c  --language=de
austal -D verif/61  --language=de
