Maybe the difference is that Stiftskeller offered rooms so it's not technically a restaurant?