The eternity of the Mishkan and the Beis Hamikdash