European Girls’ Mathematical Olympiad 2023