/*---------------------------------------------------------------------------*/ 
/* DUMMY FILE - Diese Datei kann man getrost in den Papierkorb schieben ;-)  */
/*---------------------------------------------------------------------------*/ 
