Strict 2-Groups are Crossed Modules · wovepaper