Sanitários da Rua das Casas Pintadas. See original record