Unison -- A Snap-Stabilizing DFS with a Lower Space Requirement -- Self-stabilization of