Wann tritt das Gewohnheitsrecht ein?