@postausddorf Thank you, indeed, that seems to be the same letter in a shorter version.