function hideInfos() {
	$('div.infobox').css('visibility', 'hidden');		
	$('span.citydot').css('visibility', 'hidden');	
}
function showInfos(stadt) {
	hideInfos();	
	
	$('div.infos'+stadt).css('visibility', 'visible');
	$('span.'+stadt).css('visibility', 'visible');
}