och Mantua äro för Tysklands säkerhet ej mindre wigtiga än Mainz och Rastadt.