30 de diciembre de 1942 en Loka pri Zidanem Mostu) Eslovenia en un historiador de la época moderna.