European Girls’ Mathematical Olympiad (EGMO) 2023