WTA Berlin 2023 results, scores