Given the fibred product of two manifolds over a base space $X\times_Y Z$ , is there an analogue of Künneth theorem that allows one to compute the cohomology of the fibred product?