Def
wird angenommen, dass