title: Convert decimal mark when reading numbers as input
body: <p>I have a CSV file with data reading that I want to read into Python. I get lists that contain strings like <code>"2,5"</code>. Now doing <code>float("2,5")</code> does not work, because it has the wrong decimal mark. </p>
  
  <p>How do I read this into Python as <code>2.5</code>?</p>