⁴The configuration file config.ini provides parameters that are read at startup of the corresponding program.