leipzig pool