The German term "Krankenhaus" matches the English term "hospital"