Missing suffix for German Month "Juli" in Grok Pattern MONTH

[johbar]

It seems Elasticsearch ships with a Grok pattern that supports English and German month names alike (e.g. March and März). However, the 7th month is spelled "Juli" in German. The pattern only matches "July".

elasticsearch/libs/grok/src/main/resources/patterns/grok-patterns

Line 52 in 7e9153b

MONTH \b(?:[Jj]an(?:uary|uar)?|[Ff]eb(?:ruary|ruar)?|[Mm](?:a|ä)?r(?:ch|z)?|[Aa]pr(?:il)?|[Mm]a(?:y|i)?|[Jj]un(?:e|i)?|[Jj]ul(?:y)?|[Aa]ug(?:ust)?|[Ss]ep(?:tember)?|[Oo](?:c|k)?t(?:ober)?|[Nn]ov(?:ember)?|[Dd]e(?:c|z)(?:ember)?)\b

Thank you in advance and keep up the good work!

[elasticmachine]

Pinging @elastic/es-core-features (:Core/Features/Ingest)