Yesterday I received the new Banner battery and replaced the old one. After a test drive I restarted the hot engine without any problems. With the higher power of the new battery one can even hear that the starter turns quicker compared to the old battery. Problem solved!!