"air navigation service"

means the planning, provision and maintenance of air navigation infrastructure;