Libyen-Einsatz der EU geht weiter - Deutsches Schiff verließ Hafen