implementation module OhDennenboom2

import StdEnv
import OhDennenboom

Start world = ...