på Manilla särdeles högtidligt.