Netz-Erkennungsprobleme bei Android5 (insbesondere Samsung?): DHCP/keine Connectivität

Falls es wirklich nur Android 5.x Geräte betreffen sollte, seit 5.0 scheint Android IPv6 Verbindungen zu bevorzugen. Das hatte uns hier in Münster auch einmal kurz Probleme bereitet, da die DNS Resolver für IPv6 nicht richtig liefen.