Я немного покопалась; чтото в доступных мне книгах он ни как Гирт, ни как Хирт почти не упоминается… Но у нас есть ряд <url>, а в разных статьях Википедии неоднократно упоминается Алоис Хирт, через «Х» (я как раз собиралась проставить ссылки). Не стоит ли его переименовать?