function show_gr_tabelle() { 
document.getElementById('gr_tabelle').style.visibility = "visible";}
function hide_gr_tabelle() { 
document.getElementById('gr_tabelle').style.visibility = "hidden";}