Om cholalsyrans oxidationsprodukter *,