hotellet “ zum Erzherzog Stephan11 i Pest.