Package jadex.bdiv3.tutorial.f3.old