The complete IMS HALDB guide : all you need to know to manage HALDBs