black trees by magnus dovlind