Наименование работодателя в трудовой книжке: размер не имеет значения