echo getUebersetzung("Benutzer ändern");
?>
</h2>      
<form action="./benutzerAendern.php" method="post" name="benutzerAendern" target="_self">
  <table>
    <tr>
      <td><?php 
echo getUebersetzung("Bitte wählen Sie den zu verändernden Benutzer aus");
?>
:</td>      
    </tr>
    <tr>
      <td>
      	<select name="id" size="5" id="id">
          <?php 
$res = getBenutzer($gastro_id);
while ($d = $res->FetchNextObject()) {
    ?>
          	<option value="<?php 
    echo $d->BENUTZER_ID;
    ?>
" <?php 
    if ($benutzer_id == $d->BENUTZER_ID) {
        echo " selected";
    }
    ?>
> <?php 
    echo $d->NAME;
    ?>
</option>
          <?php 
    ?>
"><?php 
    echo getUebersetzung("Bitte wählen Sie den zu löschenden Benutzer aus");
    ?>
. 
		  <?php 
    echo getUebersetzung("Sie können mehrere Benutzer zugleich auswählen und löschen indem Sie die [STRG]-Taste gedrückt halten und auf die Benutzernamen klicken");
    ?>
.</span></p></td>
      <td>&nbsp;</td>
    </tr>
    <tr>
      <td>      	
      	<select name="id[]" size="5" multiple id="id">
          <?php 
    $res = getBenutzer($vermieter_id);
    $i = true;
    while ($d = mysqli_fetch_array($res)) {
        if ($d["BENUTZER_ID"] == $benutzer_id) {
            continue;
            //man kann sich nicht selbst löschen!
        }
        ?>
		  	
          	<option value="<?php 
        echo $d["BENUTZER_ID"];
        ?>
" <?php 
        if ($i) {
            echo " selected";
        }