Surname Baumholc.