( 9 242 ) v. Häradshölding.