Referee Otto Artens's matches in the 2023 German Open (Group 3)