att den herrn som sjöng var Antonio;