Wann tritt das Gewohnheitsrecht in Kraft?