The Germans bombed Dublin.