Decent food, but what a horrible service by the staff. They seem bothered by your ordering and on top of that they will even quarrel with you about payment for a ketchup add-on.The price for the ketchup add-on was 7 DKK. I offered 12 DKK in exchange of a single 5 DKK coin and that ended up with them almost…