loadMapWhileTyping.js: Workaround manually wrong inserted Postcode.