Cafe' Rothensee is a restaurant establishment.