Derpå gingo vi ned och traf*