dateiendung per skript ändern