Islamic paintings from the 11th to the 18th century in the Collection of Hans P. Kraus