Man måste då hafvafunnit