Så voro då allaformaliteter