6 ms·

It's German punctuation. https://www.thoughtco.com/german-zeichensetzung-punctuation-marks-4082218 https://www.thoughtco.com/german-zeichensetzung-punctuation-

• t0mbstone 5y ago
  Ah... very interesting. I didn't realize German did that. Thank you for answering my question!