Stav dette: The "Dictionary of Historical German Legal Terms" and its European concept