translate English to German: The settings are saved to a separate file with the ending .arts.
Die Einstellungen werden in einer Datei mit der Endung .arts gespeichert.