Merge remote-tracking branch 'origin/spielwiese' into add.assume.in.prim...

...dec.lib