"banach fixed point theorem" in German Banach fixed-point theorem Banachscher Fixpunktsatz Detailed translations for "banach fixed point theorem" Banach fixed-point theorem Banach fixed-point theorem Banachscher Fixpunktsatz