JavaScript in HTML einbinden mit getElementById