Danke euch beiden. Jetzt funktioniert es bestens.
Aber kann ich nicht JavaScript auch auf ISO-8859-1 umstellen?
http_request.setRequestHeader("Content-Type", "application/x-www-form-urlencoded; charset=iso-8859-1");
So scheint es nicht zu funktionieren.