Looks like @andreaswis hasn't received any replies!