de Geer instämde hr von Ehrenheim.