Em suma, da matéria dada como provada e como não provada outra decisão não poderia resultar, pelo que muito bem andou o tribunal a quo ao declarar improcedentes os pedidos deduzidos pelos Recorrentes.