høyesterettsdommeren is the masculine singular definite of høyesterettsdommer.