— Mynt slaget af Pippin den lille.