Так что я зашагал к стене, пытаясь найти разницу между тем, как две установки AMCharts обрабатывают изменения локали.
При переключении на немецкий наши цифры возвращаются как 1234,56 вместо 1234,56 в XML.
Кажется, что это происходит только в одном конкретном месте, и, конечно, выполнение одного и того же кода локально приводит к ожидаемому форматированию.
Я надеюсь, что в настройке nginx / PHP есть какая-то простая разница, которую я пропускаю.
Задача ещё не решена.
Других решений пока нет …