<?PHP
declare(strict_types = 1);
$institution_external_id_repositories = array (
  'hu_ksh' => 'Zentrales Statistikbüro Ungarns',
);