Pavian Laws — Benedictus VII; Henricus II imperator