Gorch Fock is a German restaurant.