Don't think that there's any such thing as a 'correct' battery for boats. There's the battery that was fitted to the boat when it was first commissioned but that was probably put in by the folk who commissioned the boat, not Bavaria. Nothing wrong, in my opinion, with a Halfords battery for the engine battery; we have the cheapest one I could source at about 60/70 amp hours for ours (Bavaria 38). As regards the domsetic batteries, the item fitted in in the boat by the original owners was a wet cell battery of about 120 amp hours; it was inadequate for us, as we live aboard the boat. In addition, it was under the setee in the saloon, well off to starboard. I have replaced that with 2 AGM batteries of 180 amp hours each and moved them into the locker in front of the chart table, much closer to the centre line. These batteries enable us to cruise for about 48 hours without using the engine under the autopilot.
The engine battery is remains under the sette; it was not quite the same size as the original, so I simply moved the clamps to fit it. The domestic batteries are retained by a couple of ratchet straps with a board over the top of the batteries; this prevents them breaking loose should we be knocked down.
Hope that helps.