Title: Diamond Hall catalogue. --