Manual for the DeepBlue (http://deepblue.mpi-inf.mpg.de) project.