I've heard German punctuation is similar to Russian. Is it true?