Sternenpintli is a restaurant.