Ist Gewohnheitsrecht bindend?