Fuchsschwanz is a restaurant.