Dresden (Germany). Historisches Museum und Gewehrgalerie.