Pfeffermühle is a restaurant offering an à la carte menu. It features a lounge.