function open_image(path,alt,width,height) {
  window.open("/inc/image.php?bild=" + path + "&alt=" + alt,"bild","height=" + height + ",width=" + width);
}