Talk:Holzmann
Jump to navigation
Jump to search
probably Holzmann and Holzman should be merged. And maybe same solution for other -mann vs -man?--Estopedist1 (talk) 12:54, 4 October 2020 (UTC)
probably Holzmann and Holzman should be merged. And maybe same solution for other -mann vs -man?--Estopedist1 (talk) 12:54, 4 October 2020 (UTC)[reply]