Compact tree of Gerrit Mulder

}