// Datei: RmiDekl.java
// RMI-Interface: Methodendeklarationen
// =============================================================
import java.rmi.*;
import java.util.*;
public interface RmiDekl extends Remote {
ArrayList<String> frageTbuch(String kqs) throws Exception;
void beende() throws Exception;
}