Da das o.g. Convenio jetzt unterschrieben und offiziell veröffentlicht ist, den Namen hinterher: Gemeint ist Dinosol, ein Unternehmen, zu dem u.a. alle Hiperdino-Supermärkte auf den Kanaren gehören (der grösste private Arbeitgeber der Inseln übrigens nach Beschäftigtenzahl).