Definition:

manteltree