Portugal: Erster Generalstreik seit zwölf Jahren legt den öffentlichen Dienst lahm