Darmstadt Hotel-Verzeichnis Hotels, Pensionen, Gaststätten mit Gästezimmern (1990)