Springer-Umsatz 2023 verfehlt Ziele, aber Gewinne übertreffen Erwartungen