text: Hier geht es nicht um das Restaurant (das "ProviantAMT" heißt, sondern um den Namen des Gebäudes. 
  
  Aber ja, auch meines Erachtens ist "Proviantmagazin" ein Eigenname, der nicht übersetzt werden muss/soll. Es geht ja hier um den Namen, nicht um die Funktion. Das Gebäude heißt Proviantmagazin, ist aber keines.