Rochus Pumpernickels Tod, oder Cadiz Fall in Jahre 1823