I think I need to read docs before, but propperly can be exported as:
df.to_csv('csvname.csv', index=False, sep=';', decimal=',')