Google sheets: import German decimal numbers from website

Question

I\'m using IMPORTHTML to read a table from a webpage into a google sheet. I am, in fact, only interested in a single entry of said table (if there are better wa