Hvem skrev bogen ” Hvad er demokrati”? Teologen Hal Koch skrev i 1945 en bog med titlen “Hvad er demokrati?”