Philips-Mitarbeiter geben Streik auf