Hallo, ich sehe, dass das 72 Premium einen MicroSD Kartenslot besitzt. Bis wieviel GB kann man dort eine Karte einstecken? Vielen Dank, denn auf der HP finde ich dazu nichts.