Slavnostní sál, Vojenské museum - Arsenal, Vídeň