measure twice, cut once - German English Dictionary