Kristiania Tivoli har fått en nyrestaurationsbyggnad