Strange: The (manually created) old file had exactly the same filename and same content as the new one. It was also found and opened by the suggested menu entry. Even when opening it via that entry, the settings had no effect.
Anyway: It works now. Thank you very much.