Hat es irgendeinen Vorteil, hier Int32 statt int zu schreiben?