Wann tritt ein Gewohnheitsrecht ein?