"boring bar operator" Deutsche bedeutung