Wann endet Gewohnheitsrecht?