The Judiciary of Germany is independent of the executive and the legislative branches. Germany has a civil or statute law system that is based on Roman law with some references to Germanic law. The Bundesverfassungsgericht (Federal Constitutional Court) , located in Karlsruhe, is the German Supreme Court responsible for constitutional matters, with power of judicial review. It acts as the highest legal authority and ensures that legislative and judicial practice conforms to the Basic Law for the Federal Republic of Germany (Basic Law). It acts independently of the other state bodies, but cannot act on its own behalf.Germany's supreme court system, called Oberste Gerichtshöfe des Bundes, is specialized. For civil and criminal cases, the highest court of appeal is the Federal Court of Justice, located in Karlsruhe and Leipzig. The courtroom style is inquisitorial. Other Federal Courts are the Federal Labour Court in Erfurt, the Federal Social Court in Kassel, the Federal Finance Court in Munich and the Federal Administrative Court in Leipzig.Criminal law and private law are codified on the national level in the Strafgesetzbuch and the Bürgerliches Gesetzbuch respectively. The German penal system is aimed towards rehabilitation of the criminal; its secondary goal is the protection of the general public. To achieve the latter, a convicted criminal can be put in preventive detention (Sicherheitsverwahrung) in addition to the regular sentence if he is considered to be a threat to the general public. The Völkerstrafgesetzbuch regulates the consequences of crimes against humanity, genocide and war crimes. It gives German courts universal jurisdiction if prosecution by a court of the country where the crime was committed, or by an international court, is not possible.