var output = '<div id="lunchtime_insert">	<h2>Die Tageskarte</h2>	<h3>						Der Brauhaus Mittagstisch in der Woche vom		5.		Mai		bis		10.		Mai		&ndash; Täglich (außer feiertags)	</h3>	</div>';
output = decodeURIComponent(output);
 var transformations = [
	["Ä", "&Auml;"],
	["ä", "&auml;"],
	["Ö", "&Ouml;"],
	["ö", "&ouml;"],
	["Ü", "&Uuml;"],
	["ü", "&uuml;"],
	["ß", "&szlig;"],
	["é", "&eacute;"],
	["ê", "&ecirc;"],
	["è", "&egrave;"],
	["€", "&euro;"],
	["—", "&mdash;"]
];

for (i = 0; i < transformations.length; i++) {
	output = output.replace(
		new RegExp(transformations[i][0], "g"),
		transformations[i][1]
	);
}

document.write(output);

if (typeof(lunchtimeJsPostProcessing) != 'undefined') {
	lunchtimeJsPostProcessing.invoke();
}