Gibraltar arría la bandera de la Unión Europea al son del 'Himno de la alegría'