The IRAS satellite - Some remarks on the data, their availability and their use in Leiden