conversrion naar typescript