Arsenal
Theatre building in Vienna, Austria, opened in 1856