Hallo Rudi,
also von den drei moderaten Weitwinkel Objektiven, also dem 15, 16 und 20mm, würde ich dir auf jeden Fall das 15mm f1.7 empfehlen. Der Autofokus ist flott, die Größe ist prima (auch an der G9) und die Bildqualität ist sehr gut.
Das 9mm ist halt was total anderes. Da musst du halt wissen, was du damit machen möchtest. Für Architektur, Astro oder sonstige UWW Aufnahmen wird es gut zu gebrauchen sein. Die 15mm sind da eher etwas normal, aber auch universeller. Allerdings hast du mit dem 14-140rt auch schon was in dem Bereich. Fehlt dir da die Lichtstärke oder eher der extremere Weitwinkel?
Spaß machen sicherlich alle Objektive, die du im Sinn hast.