Navigation überspringen

(*) Äquivalenz von Aussagen (b)