Habe ich, danke. Wie auch immer, das Problem lag in der Kodierung. Ich fing an, Windows-1255 zu verwenden und alle Probleme waren weg.
$data = mb_convert_encoding($data, 'ISO-8859-8', 'UTF-8');
ISO-8859-8 und Windows-1255 sind grundsätzlich gleich.