<?PHP
declare(strict_types = 1);
$institution_external_id_repositories = array (
  'hu_ksh' => 'ஹங்கேரிய மத்திய புள்ளிவிவர அலுவலகம்',
);