/usr/share/man/es/man1/ is in debsums 2.0.52+deb7u1.
This file is owned by root:root, with mode 0o755.
..
/usr/share/man/es/man1/debsums.1.gz