(Maunz/Zippelius)