OfficeFirst-Börsengang wird 800 Mio. Euro schwer - Insider