20. Om regulering av lønningene for Høyesteretts medlemmer og for Stortingets ombudsmann for forvaltningen.