Add missing import of dornkirk.