När slutligen konung Pipin,