I am not familiar with that "breed" of washer. However, in the
whirlpools and Ropers that I have worked on, the pump needs to be
swapped out from the front of the machine.
A fairly easy fix...usually...except that I know nothing about the AEG.
Most small appliance stores and appliance repair shops will sell you
the part. I'm guessing, around $40 USD, unless the AEG uses some
special Lithium crystals for their pump.