replaced def with explicit types
Merge branch 'add.randomideal.tool' into spielwiese.patched