Technical documentation of PANGAEA management software