högtidligt grundstenen till den nya national theatern.