Hartmanns psalm och Thierots »Arn