Add Denken++ stuff