With the regional setting changed to Dutch and comma as the decimal symbol, changing the decimal symbol to point using the advanced settings, the ASCII file generated by running the Raster to ASCII tool still uses commas instead of points as decimal symbol.