"Banach fixed- point theorem" Deutsche bedeutung