Technical documentation of PANGAEA management software.