Hamburger Behörde und Gemüsehändler aus Spanien einigen sich im Streit um die Formulierung zur Aufhebung der Gurken-Warnung.