allow for comma as a decimal separator. fixes #71
allow for comma as a decimal separator. fixes #71

flopp/FloppsMap,flopp/FloppsTolleKarte,flopp/FloppsMap,flopp/FloppsTolleKarte,flopp/FloppsTolleKarte,flopp/FloppsMap,flopp/FloppsTolleKarte,flopp/FloppsMap