Imho sind die Zeiger 3035 zu 3135 austauschbar.

Da gab es mal ein Statement von Watoo.