großes Wenn, dann wahr
794