The German official is familiar to Gunners fans on the route to the Champions League final, having officiated ties with Sporting Lisbon and Atletico Madrid