International organizations — Immunity — Jurisdictional immunity — European School in Karlsruhe — Legal status — Employment dispute concerning teacher’s retirement bonus — Whether subject to jurisdiction of German courts — Statute of European School, 1957, and Establishment Protocol, 1962 — Failure to provide for residual jurisdiction of German courts — Whether violating constitutional right to effective legal protection — The law of the Federal Republic of Germany