Infineon Q3 revenue slightly above forecast on mixed semiconductor market