U . Holm : " Deduktionaf