Should be a 15 pin connection (standard VGA monitor style) and I'd probably go for the Macrosystem scandoubler, the Microway is NTSC only. AGA modes may lose some colors, but I've used A2000 scandoublers in A4000s with good results.
edit: though I've never actually tried the Macrosystem card in AGA modes, perhaps the compatibility is worse than others...