Namen einer .ini-Datei bekommen