Peter Bull; an old Danish tale