@database Rosenheim.guide

@author Andreas Regul
@(c) SOFTWARE DEVELOPMENT, Andreas Regul, 4/96
@$VER: Rosenheim.guide 1.0
@font Helvetica.font 13
@wordwrap

@node MAIN "Hotels in Rosenheim"

   @{fg highlight}@{b}Hotels in Rosenheim@{ub}@{fg text}

         @{"   " link "Hotel Fortuna"}   Hotel Fortuna
         @{"   " link "Hotel Goldener Hirsch"}   Hotel Goldener Hirsch
         @{"   " link "Hotel Wendelstein"}   Hotel Wendelstein
@endnode

@node "Hotel Fortuna" "Hotel Fortuna"
 @{b}Anschrift@{ub}

    Hotel Fortuna
    Hochplattenstraße 42
    83026 Rosenheim
 
    Telefon: 08031 / 62085
    Fax: 08031 / 68821
 
 @{b}Preise@{ub}
 
    Einzelzimmer: 85 DM
    Doppelzimmer: 135 DM
 
    Kinder bis 2 Jahre kostenfrei
 
 @{b}Ausstattung@{ub}
 
    Telefon, Fernseher
    WC, Dusche
    Balkon, Parkplatz bzw. Garage
 
 @{b}Besonderheiten@{ub}
 
    Kinderbetten
 
 @{b}Akzeptierte Kreditkarten@{ub}
 
    American Express, Diners, Eurocard, Visa
@endnode

@node "Hotel Goldener Hirsch" "Hotel Goldener Hirsch"
 @{b}Anschrift@{ub}

    Hotel Goldener Hirsch
    Münchener Straße 40
    83022 Rosenheim
 
    Telefon: 08031 / 21290
    Fax: 08031 / 212949
 
 @{b}Preise@{ub}
 
    Einzelzimmer: 105-130 DM
    Doppelzimmer: 170-180 DM
 
 @{b}Ausstattung@{ub}
 
    Telefon, Fernseher
    WC, Dusche, Badewanne
    Parkplatz bzw. Garage
 
 @{b}Besonderheiten@{ub}
 
    Tagungsräume
    Hotelbar
    Tiere erlaubt
 
 @{b}Akzeptierte Kreditkarten@{ub}
 
    American Express, Diners, Eurocard, Visa
@endnode

@node "Hotel Wendelstein" "Hotel Wendelstein"
 @{b}Anschrift@{ub}

    Hotel Wendelstein
    Bahnhofstraße 4-6
    83022 Rosenheim
 
    Telefon: 08031 / 33023
    Fax: 08031 / 33024
 
 @{b}Preise@{ub}
 
    Einzelzimmer: 80-110 DM
    Doppelzimmer: 125-180 DM
 
 @{b}Ausstattung@{ub}
 
    Telefon, Radio, Fernseher
    WC, Dusche, Badewanne
    Parkplatz bzw. Garage
 
 @{b}Besonderheiten@{ub}
 
    Sauna, Solarium
    Hotelbar
    Tiere erlaubt
 
 @{b}Akzeptierte Kreditkarten@{ub}
 
    American Express, Diners, Eurocard, Visa
@endnode
