Restaurant på Kristiansten festning må stenge dørene til sommeren