SWR 4 RP Mainz (128k)