DECISION OF THE EUROPEAN PARLIAMENT of 3 July 2013 electing the European Ombudsman (2013/377/EU, Euratom)