public function dayNames(int $day_number): string
    {
        static $translated_day_names;

        if ($translated_day_names === null) {