Dokkum, Frisia (now in the Netherlands)