King Digital Entertainment erfolgreich mit Börsengang