Was ist ein formelles Gesetz?