Comment by weinzierl

Not sure what the original German version was, but

falls-dann-sonst

would be more correct, since "wenn" is temporal, like the English "when".

Many Germans often use these wrongly in everyday speech, but mathematicians like Friedrich L. Bauer probably wouldn't.