Docs from summ99, tagged "DerBaum"