i believe this is based on what you use as your default decimal separator. if you use the comma as the default decimal separator, then your export CSV delimiter will default to semicolon. if your decimal separator is a period (and even if your thousands separator is a comma), your export CSV delimiter will be a comma.