Zertifizierte Dimensionsreduktion bei nichtlinearen bayesschen inversen Problemen