Translation of "Red-letter" in German