was in Arnheim zu tun