EU OKs $419M rescue aid to Thomas Cook German airline