Am 18. Oktober 1842 wurde die Walhalla von König Ludwig dem Ersten feierlich eröffnet. Diese Woche feiert sie ihr 175. Jubiläum. Das nehmen wir als Anlass uns diese Woche etwas genauer mit der Walhalla und dem Jubiläum zu beschäftigen. Heute geht es um die Sanierung der Walhalla.