Hotel Restaurant Mühlentor Hotel-Restaurant Mühlentor Mühlenstr. 10 55543 Bad Kreuznach 0671 – 838200 www.hotel-muehlentor.de