gaf namnet ” Pedanten " eller ” Hortensius ”,