PlayStation 5: Leistungsstärkeres Pro-Modell könnte 2023 kommen