cradle used for launching ships - German English Dictionary