9mm F1.7、日本のパナソニックの製品ページも出来ましたね。

メーカー希望小売価格　60,940円(税込)

LEICA DG SUMMILUX 9mm | Gシリーズ 交換レンズ | 商品一覧 | デジタルカメラ LUMIX（ルミックス） | Panasonic
https://panasonic.jp/dc/products/g_series_lens/leica_dg_summilux_9.html