Geiselnehmer in Portugal von Polizei erschossen