Maximum-minimum theorem proof. Doch doch meaning german translation. Mehmel hannover family wikipedia. Who is Sachiko Juraku.