Hamburger Hochbahn hat Anteile an Benex verkauft