[Wikimedia-l] Wikimedia Deutschland's new Executive Director will be Christian Rickerts