arvdk
You are clearly more experienced than me. I can spot one errror in your suggestion. At the intersection (Vor dem Kanaltor), both lanes turn left, one lane turns richt, so turn:lanes=left|left;right .
About destinations, I have no experience. Wiki tells me to use destination:lanes:forward, if you want to specify a destination per lane, or destination:lanes if used in combi with oneway=yes. Besides these, I tend to agree with your suggestion. What is your source for the destination tags? (I couldn't find them on mapillary yet)