Porsche 924 owners handbooks

In the original plastic wallet, 924 Owners Manual and Maintenance Record: Pocket Guide to Porsche Ownership: list of service agents (international) with maps: Porsche accessories catalogue: Porsche list of national and local radio transmission frequencies. These belonged to my 1984 Porsche 924 which was stolen and written off.